no, adding support for reifying types is a nod to ...
# random
p
no, adding support for reifying types is a nod to doing things in a non-pure fashion