refactoring: Instances.hs