Control.Monad.Royal

class RoyalReturn m r

class RoyalMonad m n p r

class RelMonad m r

class NonRoyalReturn m

class PolyMonad m n p

data Id a