remove UndecidableInstances