blob: f93e043471f56088f71eafa7537e9f055dc36fbd (
plain)
1
2
3
4
5
6
7
|
T15799.hs:46:62: error:
• Expected kind ‘Op Nat’, but ‘UnOp b’ has kind ‘Nat’
• In the first argument of ‘(<=)’, namely ‘UnOp b’
T15799.hs:46:62: error:
Expected a constraint, but ‘UnOp b <= a’ has kind ‘*’
|