Control.Unification.Types
data UTerm t v
freeze
unfreeze
class Fallible t v a
data UFailure t v
class Unifiable t
class Variable v
class BindingMonad t v m
data Rank t v
class RankedBindingMonad t v m