welford on monadic gaussian