haskell-tools-builtin-refactorings-1.1.0.0: test/ExtensionOrganizerTest/ConstrainedClassMethodsTest/MixedTyVars.hs

{-# LANGUAGE FlexibleContexts, ConstrainedClassMethods #-}

module MixedTyVars where

import Definitions

class C a where
  op1 :: D (a, b) => a -> b  {-* FlexibleContexts, FlexibleContexts *-}
  op2 :: D b      => b -> a