`Any` is now an abstract (that is, no equations) closed type family.