value1 = case () of
  1 -> ()
  _ -> ()