blob: ab818f399b5dbdbe599a2c86276239576da1a72f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T13819.hs:12:10: error:
• Couldn't match type ‘w0 -> A w0’ with ‘A a’
Expected type: a -> A a
Actual type: (w1 -> WrappedMonad A w2) (w0 -> A w0)
• In the expression: pure @(_ -> WrappedMonad A _) @(_ -> A _) pure
In an equation for ‘pure’:
pure = pure @(_ -> WrappedMonad A _) @(_ -> A _) pure
In the instance declaration for ‘Applicative A’
• Relevant bindings include
pure :: a -> A a (bound at T13819.hs:12:3)
T13819.hs:12:17: error:
• Expected kind ‘* -> *’, but ‘_ -> WrappedMonad A _’ has kind ‘*’
• In the type ‘(_ -> WrappedMonad A _)’
In the expression: pure @(_ -> WrappedMonad A _) @(_ -> A _) pure
In an equation for ‘pure’:
pure = pure @(_ -> WrappedMonad A _) @(_ -> A _) pure
|