blob: ac4f79021413047e186624d8a872c6f08eef91a0 (
plain)
1
2
3
4
5
6
|
T15712.hs:19:16: error: [GHC-83865]
• Expecting one more argument to ‘GEndo’
Expected kind ‘* -> *’, but ‘GEndo’ has kind ‘(* -> *) -> * -> *’
• In the first argument of ‘Codensity’, namely ‘GEndo’
In the newtype declaration for ‘LogicT’
|