testsuite/tests/typecheck/should_fail/T9612.stderr

   1
   2 T9612.hs:16:9: error:
   3     Couldn't match type ‘[(Int, a)]’ with ‘(Int, a)’
   4     arising from a functional dependency between:
   5       constraint ‘MonadWriter (Int, a) (WriterT [(Int, a)] Identity)’
   6         arising from a use of ‘tell’
   7       instance ‘MonadWriter w (WriterT w m)’ at T9612.hs:20:10-59
   8     Relevant bindings include
   9       x :: a (bound at T9612.hs:14:8)
  10       y :: a (bound at T9612.hs:14:3)
  11       f :: a -> (Int, a) -> Writer [(Int, a)] (Int, a)
  12         (bound at T9612.hs:14:1)
  13     In a stmt of a 'do' block: tell (n, x)
  14     In the expression:
  15       do { tell (n, x);
  16            return (1, y) }
  17     In an equation for ‘f’:
  18         f y (n, x)
  19           = do { tell (n, x);
  20                  return (1, y) }