Closed gpampara closed 6 years ago
It's better to interact with the state in the StepS transformer using a MonadState mtl-like typeclass. It reduces a fair amount of noise and makes the inference much simpler.
MonadState
It's better to interact with the state in the StepS transformer using a
MonadStatemtl-like typeclass. It reduces a fair amount of noise and makes the inference much simpler.