3 A type signature is more polymorphic than the inferred type
4 Can't for-all the type variable(s) `aGU'
5 in the type `(aGQ -> aGO aGU) -> aGO aGU'
6 In a polymorphic function argument: (\ cont' -> cont a)
7 In the first argument of `KContT', namely `(\ cont' -> cont a)'
8 In the first argument of `f', namely
9 `(\ a -> KContT (\ cont' -> cont a))'
12 Compilation had errors