Some exercises in monads - M1.