value x = case x of
  1 -> '1'
  _ -> '_'