an example for monads