blob: c4d811c56787d86e09442ee9ca3b7c97d092ebde (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
TcStaticPointersFail02.hs:9:6: error:
• No instance for (base-4.12.0.0:Data.Typeable.Internal.Typeable b)
arising from a static form
• In the expression: static (undefined :: (forall a. a -> a) -> b)
In an equation for ‘f1’:
f1 = static (undefined :: (forall a. a -> a) -> b)
TcStaticPointersFail02.hs:12:6: error:
• No instance for (base-4.12.0.0:Data.Typeable.Internal.Typeable
(Monad m => a -> m a))
arising from a static form
(maybe you haven't applied a function to enough arguments?)
• In the expression: static return
In an equation for ‘f2’: f2 = static return
|