Fix TE with overMonad when right arg has count = 1