Before, we often had to insert awkward casts when using them. Also,
the generality of also having them on Type, is probably not useful.