tailcalled comments on tailcalled’s Shortform