takahashi-0.2.2.0: create slide for presentation.
Control.Monad.Takahashi.Util
stateSandbox :: MonadState s m => m a -> m a Source
sub :: Eq a => [a] -> [a] -> [a] -> [a] Source
interpret :: forall instr m b. Monad m => (forall a. instr a -> m a) -> Skeleton instr b -> m b Source