Create `State` monad

[seymourpoler]

GIVEN a set of monads
WHEN a developer wants to manage a state
THEN State Monad

source

[Marius9595]

This resource seems interesting about this monad: https://stackoverflow.com/questions/28224270/what-is-the-purpose-of-the-state-monad