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

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