Yes, yes. But Vogel is attempting at showing that the current stage of design only works for "leaf APIs", I mean results that can't be further processed/composed by client code without "mandatory typealias hacks" that hinder the proposal. (S)he brought very valid concerns. Let's hear them.