A simple and syntax-light implementation of common monads (Maybe, Try, Future...), as well as corresponding contracts