*Note:* This is the most notable change. `IO` is not covariant anymore. I guess it could be made covariant again, but that would involve a lot of fiddling.