{-# OPTIONS_GHC -XFunctionalDependencies #-}
{-# OPTIONS_GHC -XMultiParamTypeClasses #-}

module Foo where

class Foo a b | a -> b