Some preliminary unification, necessary to understand Haskell | Dark Hacker News