Data.Generics.Strafunski.StrategyLib.StrategyLib

data Identity a

type State s

data StateT s m a