Add missing instances HasPart (Note a)... etc