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