module Main where
import X

main :: IO ()
main = print $ case f x of A -> True; B -> False