{-# OPTIONS_GHC -XMultiParamTypeClasses #-} module Foo where class Foo a b