workspace = Workspace { $number }
new-workspace = New Workspace