1{-# LANGUAGE FunctionalDependencies #-}
2module EmptyFunDepPremise where
3
4class C a | -> a
5