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

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

module SynTupleConstraint where

import Definitions

type Syn a = (Ord a, Eq a)  {-* ConstraintKinds *-}

instance Syn a => C a       {-* UndecidableInstances, FlexibleInstances *-}