I'm trying to understand the concept of monads and I want to know if this code is an implementatio