testsuite/tests/typecheck/should_fail/tcfail182.stderr

   1
   2 tcfail182.hs:9:3: error:
   3     Couldn't match expected type ‘Prelude.Maybe a’
   4                 with actual type ‘Maybe t0’
   5     NB: ‘Maybe’ is defined at tcfail182.hs:6:1-18
   6         ‘Prelude.Maybe’ is defined in ‘GHC.Base’ in package ‘base-4.8.2.0’
   7     Relevant bindings include
   8       f :: Prelude.Maybe a -> Int (bound at tcfail182.hs:9:1)
   9     In the pattern: Foo
  10     In an equation for ‘f’: f Foo = 3