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