start of monad