blob: 8bfca4cb48008918a75e86131b27bf66f7baf605 (
plain)
1
2
3
4
5
6
7
|
tcfail225.hs:9:19: error:
• Couldn't match kind ‘k’ with ‘*’
Expected kind ‘k -> *’, but ‘Maybe’ has kind ‘* -> *’
• In the first argument of ‘T’, namely ‘Maybe’
In the type ‘T Maybe (m a)’
In the definition of data constructor ‘MkT’
|