if_ :: Bool -> a -> a -> a
if_ True  x _ = x
if_ False _ x = x

main = print $ if_ (0 < 1) "True" "False"