Remove the second parameter of unifyAll (in TypeInf.hs)
Modify TypeScheme

First component changed from list to set
Improve Show TypeScheme

Do not show "forall" if no variables are quantified