Data.Label.PureM
MonadState
lens operations.
gets
puts
modify
(=:)
(=.)
MonadReader
lens operations.
asks
local