evaluate -package:base
Predicate: do we know for sure that the given Id is evaluated?
Extract the
SubDemand of a
Demand. PRECONDITION: The
SubDemand must be used in a context where the expression denoted by
the Demand is under evaluation.
Not on Stackage, so not searched.
Check whether a value has been evaluated