Nnewtypenewtype Embed (m :: Type -> Type) (z :: Type -> Type) a wherePeek#ConstructorsEmbed :: m a -> Embed m z aunEmbed :: m a