$ 0 0 Even if you manage this to gracefully reject incomplete types, what if they actually inherit from A?