monadic methods and properties