Why limit ourselves to positive type coercion?