Heimdell/unification-xd

Attempt to refresh and understand unification-fd

Haskell