Basic examples of strong monads
Last changes