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