deftype None as: ->

  defstatic <None> new as: ->
    None { }
  end

end