well, the : String is supposed to be optional right? type inference should know what it is. In truth though, return type polymorphism makes us write more type annotations than I would like.

its makes more sense to say "a pizza slice". using "of" in this way is from french.