Documentation

newtype (m :: k -> Type) ~> (n :: k -> Type) Source #

runNT :: forall {k} m n (a :: k). (m ~> n) -> m a -> n a Source #