effects-0: Computational Effects
Control.Effects.Cont
shift :: (c ~ ContT r m, AutoLift c n, Monad m) => Proxy c -> ((m a -> m r) -> m r) -> n aSource
reset :: Monad m => Handler a m a aSource