blob: 695463c08080ea1eb07b67c8cc0c8b9de7c6383b (
plain)
1
2
3
4
5
|
T13601.hs:19:16: error: [GHC-83865]
• Expected a type, but ‘Logic a’ has kind ‘TYPE (Rep rep)’
• In the first argument of ‘Boolean’, namely ‘(Logic a)’
In the class declaration for ‘Eq’
|