base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead
[ghc.git] / testsuite / tests / typecheck / should_fail / TcStaticPointersFail02.stderr
1
2 TcStaticPointersFail02.hs:9:6: error:
3     • No instance for (base-4.13.0.0:Data.Typeable.Internal.Typeable b)
4         arising from a static form
5     • In the expression: static (undefined :: (forall a. a -> a) -> b)
6       In an equation for ‘f1’:
7           f1 = static (undefined :: (forall a. a -> a) -> b)
8
9 TcStaticPointersFail02.hs:12:6: error:
10     • No instance for (base-4.13.0.0:Data.Typeable.Internal.Typeable
11                          (Monad m => a -> m a))
12         arising from a static form
13         (maybe you haven't applied a function to enough arguments?)
14     • In the expression: static return
15       In an equation for ‘f2’: f2 = static return