@macro
(||) :: Boolean -> Boolean -> Boolean 
a || b = if a then True else b

main :: Boolean
main = True || (fail "This should not be executed")
--
true