"getting type annotations right can be so difficult" I had the same experience. After getting lifetimes (more or less) this became my largest headache... I wis

"getting type annotations right can be so difficult" I had the same experience. After getting lifetimes (more or less) this became my largest headache... I wish for stronger type inference and features like this: https://downloads.haskell.org/~ghc/7.10.1/docs/html/users_guide/partial-type-signatures.html https://downloads.haskell.org/~ghc/7.10.1/docs/html/users_gu... I feel my productivity (and code quality) would increase a lot. For example right now I have to struggle so hard if I would like to write generic code, while in haskell that's more or less the default thing (the compiler infers it) if I just omit type annotations...