tailcalled comments on Horizontal vs vertical generality

[tailcalled]

That seems reasonable to me.