(An earlier version of this post used TypeAnnotation rather than TypeForm as the initially proposed spelling for the concept described here) Being able to represent something like TypeForm[T] enables ...