func = case x of False -> False True -> True