tailcalled comments on Linch’s Shortform