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

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