ghc/tests/typecheck/should_fail/tcfail013.stderr

   1
   2 tcfail013.hs:4: Couldn't match the type
   3                     `[taC0]' against `PrelBase.Bool'
   4     Expected: `PrelBase.Bool'
   5     Inferred: `[taC0]'
   6     In an equation for function `f': `f PrelBase.True = 2'
   7
   8 Compilation had errors