haskell-tools-builtin-refactorings-1.0.0.0: test/ExtensionOrganizerTest/FlexibleInstancesTest/SameTyVars.hs

{-# LANGUAGE FlexibleInstances
             #-}

module SameTyVars where

import Definitions


instance C1 (T2 a a) where      {-* FlexibleInstances *-}
  f1 _ = True

instance C1 (T4 a b d d) where  {-* FlexibleInstances *-}
  f1 _ = True