I am not sure about the obvious answer, but a solution could involve traits, which carry information about whether values of a type are cardinal (everything <: Real), ordinal (eg Date), or nominal (the default). Then reporting would just use this information, eg interpolate for cardinal values, use uninterpolated quantiles for ordinal, and maybe just show the 5 most common values for nominal.