This has been done. Real World Haskell [1] comes to mind. [1] http://book.realworldhaskell.org/read/types-and-functions.html http://book.realworldhaskell.org/

This has been done. Real World Haskell [1] comes to mind. [1] http://book.realworldhaskell.org/read/types-and-functions.html http://book.realworldhaskell.org/read/types-and-functions.ht...