i try to understand monads.