path: root/testsuite/tests/polykinds/T7224.stderr

T7224.hs:6:19:
    Kind variable ‘i’ used as a type
    In the type ‘a -> m i i a’
    In the class declaration for ‘PMonad'’