value = case 1 of
  1 | True -> ()
  _ -> ()