úÎ j  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. >Use when the property can be deduced without a runtime check. BApply a fuction that preserves the property to the checked value. Unwrap the checked value. Return   v if p holds and   overwise. &Wrap the value if the property holds.          data-checked-0.2 Data.CheckedPropertyholdsCheckedtrustMe trustThattrustMapchecked maybeHoldscheckbase Data.MaybeJustNothing$fNFDataChecked