tcfail076.hs:20:
    A type signature is more polymorphic than the inferred type
	Can't for-all the type variable(s) `aNv'
	in the type `(aNr -> aNp aNv) -> aNp aNv'
    In the first argument of `KContT', namely `(\ cont' -> cont a)'
    In the first argument of `f', namely
	`(\ a -> KContT (\ cont' -> cont a))'
    In the first argument of `unKContT', namely
	`(f (\ a -> KContT (\ cont' -> cont a)))'


Compilation had errors