After writing enough Haskell, the type signatures start talking to you and providing you with meaningful insight. But they're kind of skittish -- you have to earn their trust by patiently and carefully tending to them for a while.
Conversation
can confirm it works like this though