:: ClosedTerm a -> Script -package:comonad -package:liqwid-plutarch-extra -package:adjunctions package:reflection

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