Add&Use type DefM m = DefI (Tag m)