addTypeclassInstances inst construction tests