UndecidableSuperClasses