1{-# LANGUAGE ConstraintKinds #-} 2{-# LANGUAGE MultiParamTypeClasses #-} 3 4class Foo c a where 5 6 bar :: (c a) => a -> a 7 8