Missing UndecidableInstances extension.