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

{-# LANGUAGE FlexibleInstances,
             MultiParamTypeClasses
             #-}

module Combined where

import Definitions

-- NOTE: runs really slowly

-- same TyVars and TopLevelTyVar

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