inferOnTheSide: Extract newNode to where
Add&Use type DefM m = DefI (Tag m)