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

{-# LANGUAGE FlexibleContexts, ConstrainedClassMethods #-}

module MixedTyVars where

import Definitions

class C a where
  op1 :: D (a, b) => a -> b
  op2 :: D b      => b -> a