Nothing yet produces this, and the useful parts of get() and get_all() will have to wait until type reification is implemented.
Sam Atkins