CofreeInstances