haskell-tools-builtin-refactorings-1.0.1.1: test/ExtensionOrganizerTest/FlexibleInstancesTest/SynonymCombined.hs

{-# LANGUAGE FlexibleInstances,
             MultiParamTypeClasses
             #-}

module SynonymCombined where

import Definitions

-- NOTE: runs really slowly

-- same TyVars and TopLevelTyVar

instance C2 a (TS2 c c) where  {-* FlexibleInstances, FlexibleInstances, MultiParamTypeClasses, TypeSynonymInstances *-}
  f2 _ _ = True