Ah right, there are two versions -- somehow I miss...
# stdlib
r
Ah right, there are two versions -- somehow I missed the reified one