Beginning of a monadic transformation with simplification