oh do we have reified type?
# stdlib
e
oh do we have reified type?