ghc/tests/typecheck/should_fail/tcfail013.stderr

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