ghc/tests/typecheck/should_fail/tcfail002.stderr

   1
   2 tcfail002.hs:4:
   3     Occurs check: cannot construct the infinite type: apP = [apP]
   4     Expected: apP
   5     Inferred: [apP]
   6     In an equation for function `c': c z = z
   7
   8
   9 Compilation had errors