What is harder with static types?

• Monad transformer stacks
• Subtyping, particularly record/row types
• https://news.ycombinator.com/item?id=8458952