[int_19h]

It's not very useful to type, but that's why we have type inference.

It's certainly very useful to know, even if that knowledge is indirect via the type of the resulting dataframe after all the transforms.

[bayesian_horse]

From dabbling in F# I have a feeling such "information" would be somewhat more annoying than useful.