you want to be able to put a type in a place where...
# reflect
a
you want to be able to put a type in a place where it doesn't matter, for benefit of reading or some other checking