blob: 4e08f504383e01bc5f4740711b7643351bfb6170 (
plain)
1
2
3
4
5
6
7
|
T13819.hs:12:17: error: [GHC-83865]
• 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
|