testsuite/tests/polykinds/T9144.stderr


1
2
3
4
5
6
7


T9144.hs:34:26:
    Couldn't match type ‘Integer’ with ‘FooTerm’
    Expected type: DemoteRep 'KProxy
      Actual type: DemoteRep 'KProxy
    In the first argument of ‘toSing’, namely ‘n’
    In the expression: toSing n