Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7224.hs
1 {-# LANGUAGE PolyKinds #-}
2
3 module T7224 where
4
5 class PMonad' (m :: i -> i -> * -> *) where
6 ret' :: a -> m i i a
7 bind' :: m i j a -> (a -> m j k b) -> m i k b