note that it may also be e.g. a type variable with...
# reflect
u
note that it may also be e.g. a type variable with an enum bound