1 2 3 4 5 6 7 8
{-# LANGUAGE FunctionalDependencies #-} {-# OPTIONS_GHC -XMultiParamTypeClasses #-} module Foo where class Foo a b | a -> b