Embrace UndecidableInstances.