Îõ³h&øÀ   Safe-Inferred1ë¨  data-forcedContains a value of type a that has been forced to Normal F%orm. Constructor not exported (so no ). data-forcedContains a value of type a that has been forced to Weak Head Normal F&orm. Constructor not exported (so no ). data-forcedÁA wrapper for a lifted type that makes sure to have it evaluated. data-forced€A type synonym for the unlifted pair type synonym. It contains a strict value and a way to extract it to a lazy/normal context. data-forcedØUnlifted pair type. When a value of this type is bound, it will have already evaluated u. data-forced-The only way to extract the underlying value. data-forced-The only way to extract the underlying value.  data-forced!We don't ship the constructor of Ä as it could be used to bypass our pushes to bind values to a name. data-forcedÈThis is a CBV function. Evaluates the argument to WHNF before returning.  data-forcedÆThis is a CBV function. Evaluates the argument to NF before returning.      data-forced-0.2.0.0-inplace Data.ForcedData.CoerciblecoerceForcedNF ForcedWHNFStrictStrictValueExtractorPairy strictlyWHNF strictlyNF extractStrict