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'’