tailcalled comments on Always know where your abstractions break