ahammar

{-# LANGUAGE TypeFamilies, FlexibleContexts #-}

class Xyzzy a where
    xyzzy :: a -> Int

class Foo a where
    type Bar a :: * 
    foo :: Xyzzy (Bar a) => a -> Bar a

baz :: (Foo a, Xyzzy (Bar a)) => a -> Int