Some preliminary unification, necessary to understand Haskell

karma-engineering.com