Test for addTypeclassMemberDefs extending defs