nit: maybe say "can be called with any type `T`"? I think we want to avoid PL jargon in the tutorial.