blob: 2fe8b646366ecd379abbad5458206d78389cb961 (
plain)
1
2
3
4
5
6
7
|
T14580.hs:8:32: error: [GHC-25897]
• Couldn't match kind ‘b’ with ‘a -> *’
Expected kind ‘Cat a’, but ‘iso :: cat a b’ has kind ‘cat a b’
• In the first argument of ‘ISO’, namely ‘(iso :: cat a b)’
In the type ‘ISO (iso :: cat a b)’
In the type declaration for ‘<-->’
|