Include erasure in data constructors.