:: ClosedTerm a -> Script package:reflection -is:exact -is:exact

Recover a value inside a reify context, given a proxy for its reified type.