{-# 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