blob: 154e191f7ec330434db4aa599e77cabd121a729c (
plain)
1
2
3
4
5
6
7
|
T14580.hs:8:32: error:
• 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 ‘<-->’
|
