MonadFailDesugaring