A quick and dirty unification algorithm

The following is a very simple unification algorithm in Haskell.