module A where

data A = A

f :: A -> Bool
f C = False