@hackage / unbound-generics-unify

Unification based on unbound-generics