main :: Bool
main = (\a -> if a then a else a) True