implemented sequence on Monad