This has been done. Real World Haskell [1] comes to mind.

[1] http://book.realworldhaskell.org/read/types-and-functions.ht...