úΠ Safe-Inferred0Test if the property holds for the given value. 1 The first argument is supposed to be ignored. Wrapper-evidence for property p. >Use when the property can be deduced without a runtime check. Unwrap the checked value. Return  v if p holds and  overwise. &Wrap the value if the property holds.        data-checked-0.1 Data.CheckedPropertyholdsCheckedtrustMechecked maybeHoldscheckbase Data.MaybeJustNothing