Îõ³h$»t=      !"#$%&'()*+,-./0123456789:;<Labels (polykinded, phantom)*(c) Juan García Garland, Marcos Viera 2020GPL-3jpgarcia@fing.edu.uy experimentalPOSIX Safe-Inferred./É¡$polykinded extensible record libraryÂ(c) Juan García Garland, Marcos Viera, 2019-2020GPLjpgarcia@fing.edu.uy experimentalPOSIX Safe-Inferred'(-./02>?ÀÁÂÄÉÔÖ×Ùèìƒpoly-recextension operator (wrapper)poly-recupdate operator (wrapper) poly-recDatatype for lookup (wrapper) poly-recÑFunction to show the field of the record ("field named", "children", "tag:", etc)poly-rec contains inhabited values, it tags values of a type of kind =ñ. In this example perhaps some value of type `Rec Something [(kindforlabels, Type)]`. That is the role of the  family. Given c, the kind of record, and v, ir computes the wrapper.poly-rec empty recordpoly-rec takes a tagged field (Í) and a record, to build a new record. Recall that fields should be ordered.   42 Safe-Inferred'(-./02>?ÀÁÂÄÉÔÖ×ÙèìN 0poly-rec index type1poly-recRecordsdatatype definition2poly-recPretty Constructor3poly-recFor the empty Record5poly-rec Get a label6poly-recLookup7poly-rec extension>poly-recType level show utilities?poly-rec field type@poly-recType level show utilities0123456710452763246572Á         !"#$%&'()*+,-./0123456789:;<=>?@AÂ'poly-rec-0.7.0.0-DAhLrBI9I0f7l6wv5MBVPnData.GenRec.Label Data.GenRecData.GenRec.RecInstances.RecordLabelsndLabelfstLabel labelFromType proxyToLabelOpExtendOpUpdateOpLookup ShowLabel ShowFieldShowRecOrdTypeCmpUnWrap WrapFieldTagFieldRecEmptyRecConsRec emptyGenRec.=. untagField#updatelookup.*.$fOrdTypeSymbol$fRequireOpLookupctx$fRequireOpLookup'ctx$fRequireOpLookup'ctx0$fRequireOpLookup'ctx1$fRequireOpLookupctx0$fRequireOpUpdatectx$fRequireOpUpdate'ctx$fRequireOpUpdate'ctx0$fRequireOpUpdate'ctx1$fRequireOpUpdatectx0$fRequireOpExtendctx$fRequireOpExtend'ctx$fRequireOpExtend'ctx0$fRequireOpExtend'ctx1$fRequireOpExtendctx0$fRequireOpLookupCallctxRecoRecord.==. emptyRecorduntaggetLabel##.**. $fOrdTypeNat $fShowRec $fShowRec0 $fShowRec1$fShowTagFieldghc-prim GHC.TypesTypeD:R:ShowRecRecoD:R:WrapFieldTYPETYPERecovD:R:ShowRecMat