primitive None is Stringable
  fun string(): String iso^ =>
    "None".string()