2 tcfail076.hs:20: A type signature is more polymorphic than the inferred type
3 Can't for-all the type variable(s) `taEJ'
4 in the inferred type `(taEz -> aaEy taEJ) -> aaEy taEJ'
5 In a polymorphic function argument `(\ cont' -> cont a)'
6 In the first argument of `KContT', namely `(\ cont' -> cont a)'
7 In the first argument of `f', namely
8 `(\ a -> KContT (\ cont' -> cont a))'
9 In the first argument of `unKContT', namely
10 `(f (\ a -> KContT (\ cont' -> cont a)))'
12 Compilation had errors