Unbound.Generics.LocallyNameless.Rebind

data Rebind p1 p2