blob: 676be2cb0fc43bd7f98fbef52119772cf9c40392 (
plain)
1
2
3
4
5
6
|
T7278.hs:9:43: error:
• Expecting two fewer arguments to ‘t’
Expected kind ‘* -> * -> *’, but ‘t’ has kind ‘k’
• In the type signature:
f :: (C (t :: k) (TF t)) => TF t p1 p0 -> t p1 p0
|