Documentation

shift :: AutoLift r m n => Effect r m -> ((m a -> m r) -> m r) -> n aSource

reset :: Monad m => Handler a a m aSource