UnsolvableLevelConstraintsInDataDef.err

UnsolvableLevelConstraintsInDataDef.agda:7,3-34
The type of the constructor does not fit in the sort of the
datatype, since Set₂ is not less or equal than Set₁
when checking the constructor abs in the declaration of D