>As we now have only one case

Or maybe are we missing some of them. What about `TypeChange` for instance?