Group

cats

getThenGetGetsOnce

MonadStateLaws

getThenSetDoesNothing

MonadStateLaws