Archived tweet #9216 from the @leastfixedpoint Twitter Archive

FTR: A good answer seems to be pack<τ,e>; for the specific example, pack<𝐍,(f,123)>. Thanks to @ezyang @awelonblue @wilbowma and @lindsey for pointing me in the right direction!