haskell-tools-builtin-refactorings-1.1.0.0: test/ExtensionOrganizerTest/UndecidableInstancesTest/SynTyFunInSuperClass.hs

{-# LANGUAGE UndecidableInstances, UndecidableSuperClasses, ConstraintKinds #-}

module SynTyFunInSuperClass where

import Definitions (CT)

type Syn a = CT a   {-* ConstraintKinds *-}

class Syn a => C a  {-* UndecidableInstances *-}