main = case (lt 3 5) of
    True  => 1
    False => 0