summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T12055a.stderr
blob: 505158b001df3daf4712bfacf5372e6f884a25c7 (plain)
1
2
3
4
5
6
7

T12055a.hs:28:1: error:
    • Non type-variable argument in the constraint: Category (Dom f)
    • In the context: (Category (Dom f), Category (Cod f))
      While checking the super-classes of class ‘Functor’
      In the class declaration for ‘Functor’
    Suggested fix: Perhaps you intended to use FlexibleContexts