summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T7224.hs
blob: a065bc8494233934cfc9073877ca997b36fb5b54 (plain)
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