Complete monadic transformation