module A where
class C a where
instance C Bool where