Unbound.Generics.LocallyNameless.Embed

data Embed t

class IsEmbed e