{-# LANGUAGE FunctionalDependencies #-}
module EmptyFunDepPremise where

class C a | -> a