More cases for the monadic transformation