embedding parameters into the monad stack