addTypeclassInstances duplicate member error test
addTypeclassInstances other member error tests