1 2 3 4 5 6 7
{-# LANGUAGE PolyKinds #-} module T7224 where class PMonad' (m :: i -> i -> * -> *) where ret' :: a -> m i i a bind' :: m i j a -> (a -> m j k b) -> m i k b