Unbound.Generics.LocallyNameless.Subst
data
SubstName
a b
data
SubstCoerce
a b
class
Subst
b a