h,(      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{ 0.2.0.0(c) 2023 Sayo KoyonedaMPL-2.0 (see the file LICENSE)ymdfield@outlook.jp experimentalportableNone %&-1=   (c) 2023-2024 Sayo Koyoneda (c) 2023 Casper Bach Poulsen and Cas van der RestMPL-2.0 (see the file LICENSE)ymdfield@outlook.jp experimentalportableNone %&-1=ydata-effects-core)A higher-order effect with no operations.data-effects-core(A first-order effect with no operations.data-effects-core1Lift first-order effects to higher-order effects. Come from  https://github.com/heft-lang/POPL2023/blob/74afe1d5ce0b491cffe40cc5c73a2a5ee6a94d9c/haskell/src/Elab.hs#L9-L10&heft-lang/POPL2023/haskell/src/Elab.hs.data-effects-core!The kind of higher-order effects.data-effects-core The kind of first-order effects.(c) 2023-2024 Sayo KoyonedaMPL-2.0 (see the file LICENSE)ymdfield@outlook.jp experimentalportableNone %&-1=\!data-effects-coreA natural transformation."data-effects-coreThe operator version of #.#data-effects-coreA type class that represents the ability to send a higher-order effect sig to carrier f.$data-effects-coreSend a higher-order effect sig to carrier f.%data-effects-coreThe operator version of &.&data-effects-coreA type class that represents the ability to send an first-order effect ins to carrier f.'data-effects-coreSend an  instruction ins to carrier f.%"&'#$!&'%#$"!! " % (c) 2023-2024 Sayo KoyonedaMPL-2.0 (see the file LICENSE)ymdfield@outlook.jp experimentalportableNone %&-1= )data-effects-coreA wrapper data type to represent sending an effect to the carrier f with the specified key.0data-effects-core5Send all effects within the scope, keyed, to carrier f.0)*+./,-./,-)+*0(c) 2024 Sayo KoyonedaMPL-2.0 (see the file LICENSE)ymdfield@outlook.jp experimentalportableNone %&-1= @data-effects-core This represents that the effect ff, is finally interpreted as the base carrier b.@AB@BA(c) 2023-2024 Sayo KoyonedaMPL-2.0 (see the file LICENSE)ymdfield@outlook.jp experimentalportableNone %&-1= Edata-effects-coreKeyed higher-order effect.Fdata-effects-coreKeyed higher-order effect.Idata-effects-coreKeyed first-order effect.Jdata-effects-coreKeyed first-order effect.Mdata-effects-coreKeyed higher-order effect.Ndata-effects-coreKeyed first-order effect. NMEIJKLFGH JLKINFHGEME I (c) 2023-2024 Sayo KoyonedaMPL-2.0 (see the file LICENSE)ymdfield@outlook.jp experimentalportableNone %&-1=Vdata-effects-coreTagged higher-order effect.Wdata-effects-coreTagged higher-order effect.Zdata-effects-coreTagged first-order effect.[data-effects-coreTagged first-order effect.^data-effects-coreTagged higher-order effect._data-effects-coreTagged first-order effect. _^ZV[\]WXY []\Z_WYXV^V Z (c) 2023-2024 Sayo KoyonedaMPL-2.0 (see the file LICENSE)ymdfield@outlook.jp experimentalportableNone %&-1=gdata-effects-coreA wrapper data type to represent sending an effect to the carrier f with the specified tag.jdata-effects-core6Send all effects within the scope, tagged, to carrier f.jghigihj                   ! " # $%&'''()*+,-./012345677789:;<=>?@ABCDEFGHIJKLMMMNOPQRRRSTUUUVWXYZ[\]^_`aaabcdddefghijklmnooopqrstuvwxyz{|}~!data-effects-core-0.2.0.0-inplaceData.Effect.HFunctor Data.EffectControl.EffectControl.Effect.KeyData.Effect.HFunctor.HContData.Effect.KeyData.Effect.TagControl.Effect.Tagdata-effects-core278compdata-0.13.1-cefe7f5b8f8345e9818ebc5b05843860e6e9acc07886e242081d972048339a3aData.Comp.Multi.HFunctorHFunctorhfmapData.Comp.Multi.OpsRemAremADistAnninjectAprojectA:&::=::<:Subsumeinj'prj'Elem:+:InlInrcaseHinjprojsplLNopNopLiftFOE unliftFOEEffectHEffectF$fHFunctorLiftFOE$fFunctorLiftFOE$fFoldableLiftFOE$fTraversableLiftFOE~><<:SendHOEsendHOE<:SendFOEsendFOE$fSendHOELiftFOEfByKeyrunByKey SendHOEBy sendHOEBy SendFOEBy sendFOEBykey$fSendHOEsigByKey$fSendFOEinsByKey$fFunctorByKey$fApplicativeByKey$fAlternativeByKey $fMonadByKey$fMonadPlusByKey$fMonadFixByKey$fMonadIOByKey$fMonadFailByKey$fMonadReaderrByKey$fMonadWriterwByKey$fMonadStatesByKey$fMonadRWSrwsByKey$fMonadErroreByKeyHContunHCont$fHFunctorHCont$fFunctorHCont##>KeyHunKeyH#>KeyunKeyKHK $fFunctorKeyH$fFoldableKeyH$fTraversableKeyH$fHFunctorKeyH $fFunctorKey $fFoldableKey$fTraversableKey##TagHunTagH#TagunTagTHT $fFunctorTagH$fFoldableTagH$fTraversableTagH$fHFunctorTagH $fFunctorTag $fFoldableTag$fTraversableTagViaTag runViaTagtag$fSendHOEBykkeysigViaTag$fSendFOEBykkeyinsViaTag$fSendHOEsigViaTag$fSendFOEinsViaTag$fFunctorViaTag$fApplicativeViaTag$fAlternativeViaTag $fMonadViaTag$fMonadPlusViaTag$fMonadFixViaTag$fMonadIOViaTag$fMonadFailViaTag$fMonadReaderrViaTag$fMonadWriterwViaTag$fMonadStatesViaTag$fMonadRWSrwsViaTag$fMonadErroreViaTag