For some audiences I'd agree, but I think the current presentation works well if the target audience is people who already believe that functional programming m

For some audiences I'd agree, but I think the current presentation works well if the target audience is people who already believe that functional programming matters, but are skeptical that concatenative programming is an interesting or important concept. For that audience I think the presentation starting from the familiar type-signature notation is effective.