Unbound.Generics.LocallyNameless.Subst

data SubstName a b

data SubstCoerce a b

class Subst b a