blob: 0283b4be3cc9c645ec4bdb57effeac3b1509aa00 (
plain)
1
2
3
4
5
6
7
8
|
{-# LANGUAGE Haskell2010 #-}
{-# 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
|