. . . "Return types can obviously be declared type safe as well:" .