A quick and dirty unification algorithm

by phimuemue

The following is a very simple unification algorithm in Haskell.