Constraining exceptions to the most recent version (with split type classes)