{-# OPTIONS_GHC -XMultiParamTypeClasses #-}

module Foo where

class Foo a b | a -> b