Feels like this misses the point a bit and never really pays off the article title.

The value returned by the view body is a set of nested structs that can be evaluated and executed. And yes, all of those structs conform to the View protocol.

The type of the view body is simply the type that defines those nested structs.

BTW, in English one typically capitalizes the first word of each sentence. Failure to do so can make reading slower and comprehension more difficult.