A good type is like a heads up display about where you are in your implementation. Haskell types are often far away from being that, however.