tailcalled comments on Horizontal vs vertical generality