takahashi-0.2.0.2: Operational Monad implementation. It is more small but adequately.
Control.Monad.Takahashi.Util
stateSandbox :: MonadState s m => m a -> m a Source
sub :: Eq a => [a] -> [a] -> [a] -> [a] Source