Can we have both? Both the terse type with the most specific type variables and then a fully expanded type, where all the variables are being substituted?
(Of course, showing these two cases makes sense only if they would be different.)
4 Likes