I don't see why you're assuming we did something different, I even said "advanced typing features". We have several effect-related types, including IO.