module ShouldFail where
-import GlaExts ( All )
-
-data ContT m a = KContT ((All res) => (a -> m res) -> m res)
+data ContT m a = KContT (forall res. (a -> m res) -> m res)
unKContT (KContT x) = x
callcc :: ((a -> ContT m b) -> ContT m a) -> ContT m a