Control.Monad.Poly

class PolyMonad m n

polyBind

polyJoin