heftia-0.3.1.0: higher-order effects done right
Contents
Index
Index
!
1 (Type/Class)
Control.Effect.ExtensibleTreeA
2 (Type/Class)
Control.Effect.ExtensibleTree
3 (Type/Class)
Control.Effect.ExtensibleFinalA
4 (Type/Class)
Control.Effect.ExtensibleFinal
5 (Type/Class)
Control.Effect.ExtensibleFastA
6 (Type/Class)
Control.Effect.ExtensibleChurch
!!
1 (Type/Class)
Control.Effect.ExtensibleTreeA
2 (Type/Class)
Control.Effect.ExtensibleTree
3 (Type/Class)
Control.Effect.ExtensibleFinalA
4 (Type/Class)
Control.Effect.ExtensibleFinal
5 (Type/Class)
Control.Effect.ExtensibleFastA
6 (Type/Class)
Control.Effect.ExtensibleChurch
#
Data.Effect.Tag
##
Data.Effect.Tag
##>
Data.Effect.Key
#>
Data.Effect.Key
$
Control.Effect.Hefty
$$
Control.Effect.Hefty
&
Data.Effect.TH
+
Data.Free.Sum
:!
1 (Type/Class)
Control.Effect.ExtensibleTreeA
2 (Type/Class)
Control.Effect.ExtensibleTree
3 (Type/Class)
Control.Effect.ExtensibleFinalA
4 (Type/Class)
Control.Effect.ExtensibleFinal
5 (Type/Class)
Control.Effect.ExtensibleFastA
6 (Type/Class)
Control.Effect.ExtensibleChurch
:!!
1 (Type/Class)
Control.Effect.ExtensibleTreeA
2 (Type/Class)
Control.Effect.ExtensibleTree
3 (Type/Class)
Control.Effect.ExtensibleFinalA
4 (Type/Class)
Control.Effect.ExtensibleFinal
5 (Type/Class)
Control.Effect.ExtensibleFastA
6 (Type/Class)
Control.Effect.ExtensibleChurch
:&:
1 (Data Constructor)
Data.Effect.HFunctor
2 (Type/Class)
Data.Effect.HFunctor
:+:
Data.Effect.HFunctor
:<:
Data.Effect.HFunctor
:=:
Data.Effect.HFunctor
<:
Control.Effect
<<:
Control.Effect
<<|
Data.Hefty.Extensible
<|
Data.Hefty.Extensible
absurdL
Data.Free.Sum
absurdR
Data.Free.Sum
alterEffectClassConf
Data.Effect.TH
alterEffectConf
Data.Effect.TH
bundle
Control.Effect.Hefty
bundleUnion2
Data.Hefty.Union
bundleUnion3
Data.Hefty.Union
bundleUnion4
Data.Hefty.Union
ByKey
1 (Data Constructor)
Control.Effect.Key
2 (Type/Class)
Control.Effect.Key
caseF
Data.Free.Sum
caseH
Data.Effect.HFunctor
caseHF
Control.Effect.Hefty
changeNormalSenderFnNameFormat
Data.Effect.Key.TH
ClassIndex
Data.Hefty.Union
comp
Data.Hefty.Union
confByEffect
Data.Effect.TH
copyEff
Control.Effect.Hefty
copyEffH
Control.Effect.Hefty
CurrentLevel
Data.Hefty.Union
CurrentLevelSearchResult
Data.Hefty.Union
CurrentLevelSym0
Data.Hefty.Union
decomp
Data.Hefty.Union
def
Data.Effect.TH
Default
Data.Effect.TH
dequeSum
Control.Effect.Hefty
deriveHFunctor
Data.Effect.TH
detransContT
Control.Effect.Hefty
DistAnn
Data.Effect.HFunctor
doesDeriveHFunctor
Data.Effect.TH
doesGenerateLiftInsPatternSynonyms
Data.Effect.TH
doesGenerateLiftInsTypeSynonym
Data.Effect.TH
doesGenerateSenderFnSignature
Data.Effect.TH
dupEff
Control.Effect.Hefty
dupEffH
Control.Effect.Hefty
Eff
1 (Type/Class)
Control.Effect.Hefty
2 (Type/Class)
Data.Hefty.Extensible
EffectClassConf
1 (Data Constructor)
Data.Effect.TH
2 (Type/Class)
Data.Effect.TH
EffectConf
1 (Data Constructor)
Data.Effect.TH
2 (Type/Class)
Data.Effect.TH
Effectful
Control.Effect.Hefty
EffectfulF
Control.Effect.Free
EffectOrder
Data.Effect.TH
EffF
1 (Type/Class)
Control.Effect.Free
2 (Type/Class)
Data.Hefty.Extensible
EffUnion
1 (Type/Class)
Control.Effect.Hefty
2 (Data Constructor)
Control.Effect.Hefty
EffUnionF
1 (Type/Class)
Control.Effect.Free
2 (Data Constructor)
Control.Effect.Free
Elab
Control.Effect.Hefty
Elem
Data.Effect.HFunctor
end
Control.Effect.Hefty
enqueSum
Control.Effect.Hefty
exhaust
Data.Hefty.Union
ExtensibleUnion
1 (Type/Class)
Data.Hefty.Extensible
2 (Data Constructor)
Data.Hefty.Extensible
FieldApp
1 (Type/Class)
Data.Hefty.Extensible
2 (Data Constructor)
Data.Hefty.Extensible
findFirstMembership
Data.Hefty.Extensible
FirstOrder
Data.Effect.TH
flipEff
Control.Effect.Hefty
flipEff3
Control.Effect.Hefty
flipEff3H
Control.Effect.Hefty
flipEffH
Control.Effect.Hefty
flipEffUnder
Control.Effect.Hefty
flipEffUnderH
Control.Effect.Hefty
flipUnion
Data.Hefty.Union
flipUnion3
Data.Hefty.Union
flipUnionUnder
Data.Hefty.Union
Forall
Data.Hefty.Extensible
ForallHFunctor
1 (Type/Class)
Data.Hefty.Union
2 (Type/Class)
Data.Hefty.Extensible
FoundIn
Data.Hefty.Union
FoundInSym0
Data.Hefty.Union
FoundInSym0KindInference
Data.Hefty.Union
FoundInSym1
Data.Hefty.Union
FoundLevel
Data.Hefty.Union
FoundLevelOf
Data.Hefty.Union
Freer
Control.Freer
FreerChurch
1 (Type/Class)
Control.Monad.Freer.Church
2 (Data Constructor)
Control.Monad.Freer.Church
FreerFinal
1 (Type/Class)
Control.Freer.Final
2 (Data Constructor)
Control.Freer.Final
FreerTree
1 (Type/Class)
Control.Monad.Freer.Tree
2 (Data Constructor)
Control.Monad.Freer.Tree
fromEffF
Control.Effect.Free
genEffectKey
Data.Effect.Key.TH
generateLiftInsPatternSynonyms
Data.Effect.TH
generateLiftInsTypeSynonym
Data.Effect.TH
HasMembership
Data.Hefty.Union
HasMembershipF
Control.Effect.Hefty
HasMembershipRec
Data.Hefty.Union
HasMembershipRec1_
Data.Hefty.Union
HasMembershipRec2_
Data.Hefty.Union
HasMembershipRec3_
Data.Hefty.Union
HasMembershipWhenCurrentLevel
Data.Hefty.Union
HasMembershipWhenCurrentLevel_
Data.Hefty.Union
HCont
1 (Data Constructor)
Data.Effect.HFunctor.HCont
2 (Type/Class)
Data.Effect.HFunctor.HCont
HeadIns
Data.Hefty.Union
HeadLowerSearchResult
Data.Hefty.Union
Hefty
1 (Type/Class)
Control.Hefty
2 (Data Constructor)
Control.Hefty
hfmap
Data.Effect.HFunctor
HFunctor
Data.Effect.HFunctor
HFunctorUnion
Data.Hefty.Union
HFunctorUnion_
Data.Hefty.Union
HigherOrder
Data.Effect.TH
inj
Data.Effect.HFunctor
inj'
Data.Effect.HFunctor
inject
Data.Hefty.Union
inject0
Data.Hefty.Union
injectA
Data.Effect.HFunctor
injectF
Control.Effect.Hefty
injectH
Control.Effect.Hefty
InjectIns
Control.Freer
injectIns
Control.Freer
InjectInsBy
Control.Freer
injectInsBy
Control.Freer
injectRec
Data.Hefty.Union
InjectSig
Control.Hefty
injectSig
Control.Hefty
InjectSigBy
Control.Hefty
injectSigBy
Control.Hefty
injectSMR
Data.Hefty.Union
injectSMR_
Data.Hefty.Union
injectUnder
Data.Hefty.Union
injectUnder2
Data.Hefty.Union
injectUnder3
Data.Hefty.Union
Inl
Data.Effect.HFunctor
Inr
Data.Effect.HFunctor
InsClass
Data.Effect
interpose
Control.Effect.Hefty
interposeContT
Control.Effect.Hefty
interposeFin
Control.Effect.Hefty
interposeK
Control.Effect.Hefty
interposeRec
Control.Effect.Hefty
interposeRecH
Control.Effect.Hefty
interposeT
Control.Effect.Hefty
interpret
Control.Effect.Hefty
interpretAll
Control.Effect.Hefty
interpretAllE
Control.Effect.Hefty
interpretAllFH
Control.Effect.Hefty
interpretAllFHE
Control.Effect.Hefty
interpretAllH
Control.Effect.Hefty
interpretAllRec
Control.Effect.Hefty
interpretAllRecFH
Control.Effect.Hefty
interpretAllRecFHE
Control.Effect.Hefty
interpretAllRecH
Control.Effect.Hefty
interpretChurch
Control.Monad.Freer.Church
interpretChurchK
Control.Monad.Freer.Church
interpretContT
Control.Effect.Hefty
interpretContTAll
Control.Effect.Hefty
interpretContTAllFH
Control.Effect.Hefty
interpretContTAllH
Control.Effect.Hefty
interpretContTAllRecFH
Control.Effect.Hefty
interpretContTAllRecH
Control.Effect.Hefty
interpretContTH
Control.Effect.Hefty
interpretFin
Control.Effect.Hefty
interpretFinH
Control.Effect.Hefty
interpretFreer
Control.Freer
interpretFreerFinal
Control.Freer.Final
interpretFreerK
Control.Monad.Freer
interpretH
Control.Effect.Hefty
interpretK
Control.Effect.Hefty
interpretKAll
Control.Effect.Hefty
interpretKAllFH
Control.Effect.Hefty
interpretKAllH
Control.Effect.Hefty
interpretKAllRecFH
Control.Effect.Hefty
interpretKAllRecH
Control.Effect.Hefty
interpretKH
Control.Effect.Hefty
interpretRec
Control.Effect.Hefty
interpretRecH
Control.Effect.Hefty
interpretT
Control.Effect.Hefty
interpretTAll
Control.Effect.Hefty
interpretTAllH
Control.Effect.Hefty
interpretTAllRecH
Control.Effect.Hefty
interpretTH
Control.Effect.Hefty
interpretTree
Control.Monad.Freer.Tree
interpretTreeK
Control.Monad.Freer.Tree
IsFound
Data.Hefty.Union
K
Data.Effect.Key
Key
1 (Data Constructor)
Data.Effect.Key
2 (Type/Class)
Data.Effect.Key
key
Control.Effect.Key
keyedSenderGenConf
Data.Effect.TH
KeyH
1 (Data Constructor)
Data.Effect.Key
2 (Type/Class)
Data.Effect.Key
keySubsume
Control.Effect.Hefty
keySubsumeH
Control.Effect.Hefty
KH
Data.Effect.Key
L1
Data.Free.Sum
liftEff
Control.Effect.Hefty
liftEffH
Control.Effect.Hefty
LiftIns
1 (Data Constructor)
Data.Effect
2 (Type/Class)
Data.Effect
liftIns
Control.Freer
liftInsChurch
Control.Monad.Freer.Church
liftInsEff
Control.Effect.Hefty
liftInsFinal
Control.Freer.Final
LiftInsIfSingle
Data.Hefty.Union
liftInsIfSingle
Data.Hefty.Union
liftInsTree
Control.Monad.Freer.Tree
LNop
Data.Effect
Lookup
Data.Hefty.Union
LowerLevel
Data.Hefty.Union
LowerLevelSym0
Data.Hefty.Union
makeEffect
Data.Effect.TH
makeEffect'
Data.Effect.TH
MakeEffectConf
1 (Data Constructor)
Data.Effect.TH
2 (Type/Class)
Data.Effect.TH
makeEffectF
Data.Effect.TH
makeEffectH
Data.Effect.TH
makeHFunctor
Data.Effect.HFunctor.TH
makeHFunctor'
Data.Effect.HFunctor.TH
makeKeyedEffect
Data.Effect.Key.TH
Member
Data.Hefty.Union
MemberBy
1 (Type/Class)
Data.Hefty.Union
2 (Type/Class)
Data.Hefty.Extensible
MemberFound
Data.Hefty.Union
MemberH
Data.Hefty.Union
MemberHBy
1 (Type/Class)
Data.Hefty.Union
2 (Type/Class)
Data.Hefty.Extensible
MemberRec
Data.Hefty.Union
mergeEff
Control.Effect.Hefty
mergeEffH
Control.Effect.Hefty
MonadFreer
Control.Monad.Freer
MultiListToUnion
Data.Hefty.Union
NextSearchMemberRecAction
Data.Hefty.Union
NFU
Data.Hefty.Union
NFUH
Data.Hefty.Union
noDeriveHFunctor
Data.Effect.TH
noExtTemplate
Data.Effect.TH
noGenerateKeyedSenderFunction
Data.Effect.TH
noGenerateLiftInsPatternSynonyms
Data.Effect.TH
noGenerateLiftInsTypeSynonym
Data.Effect.TH
noGenerateNormalSenderFunction
Data.Effect.TH
noGenerateSenderFunctionSignature
Data.Effect.TH
noGenerateTaggedSenderFunction
Data.Effect.TH
Nop
Data.Effect
NormalFormUnionList
Data.Hefty.Union
NormalFormUnionListH
Data.Hefty.Union
NormalizeSig
Data.Hefty.Union
normalSenderGenConf
Data.Effect.TH
NotFound
Data.Hefty.Union
NotFoundSym0
Data.Hefty.Union
orderOf
Data.Effect.TH
OrElse
Data.Hefty.Union
overFreer
Control.Freer
overHefty
Control.Hefty
popBundle
Control.Effect.Hefty
prj'
Data.Effect.HFunctor
proj
Data.Effect.HFunctor
project
Data.Hefty.Union
projectA
Data.Effect.HFunctor
projectRec
Data.Hefty.Union
projectSMR
Data.Hefty.Union
projectSMR_
Data.Hefty.Union
pushBundle
Control.Effect.Hefty
R1
Data.Free.Sum
raise
Control.Effect.Hefty
raise2
Control.Effect.Hefty
raise2H
Control.Effect.Hefty
raise2Under
Control.Effect.Hefty
raise2Under2
Control.Effect.Hefty
raise2Under2H
Control.Effect.Hefty
raise2UnderH
Control.Effect.Hefty
raise3
Control.Effect.Hefty
raise3H
Control.Effect.Hefty
raise3Under
Control.Effect.Hefty
raise3UnderH
Control.Effect.Hefty
raise4
Control.Effect.Hefty
raise4H
Control.Effect.Hefty
raiseAll
Control.Effect.Hefty
raiseAllH
Control.Effect.Hefty
raiseH
Control.Effect.Hefty
raiseN
Control.Effect.Hefty
raiseNH
Control.Effect.Hefty
raiseNUnderM
Control.Effect.Hefty
raiseNUnderMH
Control.Effect.Hefty
raiseUnder
Control.Effect.Hefty
raiseUnder2
Control.Effect.Hefty
raiseUnder2H
Control.Effect.Hefty
raiseUnder3
Control.Effect.Hefty
raiseUnder3H
Control.Effect.Hefty
raiseUnderH
Control.Effect.Hefty
ReaderKey
Control.Hefty
reencodeFreer
Control.Freer
reinterpret
Control.Effect.Hefty
reinterpretContT
Control.Effect.Hefty
reinterpretFreer
Control.Freer
reinterpretK
Control.Effect.Hefty
reinterpretRec
Control.Effect.Hefty
reinterpretRecH
Control.Effect.Hefty
reinterpretT
Control.Effect.Hefty
RemA
Data.Effect.HFunctor
remA
Data.Effect.HFunctor
removeLastApostrophe
Data.Effect.Key.TH
retractFreer
Control.Freer
rewrite
Control.Effect.Hefty
rewriteFH
Control.Effect.Hefty
rewriteH
Control.Effect.Hefty
rot3
Data.Hefty.Union
rot3'
Data.Hefty.Union
runByKey
Control.Effect.Key
runEff
1 (Function)
Control.Effect.Hefty
2 (Function)
Control.Effect.ExtensibleTreeA
3 (Function)
Control.Effect.ExtensibleTree
4 (Function)
Control.Effect.ExtensibleFinalA
5 (Function)
Control.Effect.ExtensibleFinal
6 (Function)
Control.Effect.ExtensibleFastA
7 (Function)
Control.Effect.ExtensibleChurch
runEffF
1 (Function)
Control.Effect.Free
2 (Function)
Control.Effect.ExtensibleTreeA
3 (Function)
Control.Effect.ExtensibleTree
4 (Function)
Control.Effect.ExtensibleFinalA
5 (Function)
Control.Effect.ExtensibleFinal
6 (Function)
Control.Effect.ExtensibleFastA
7 (Function)
Control.Effect.ExtensibleChurch
runPure
Control.Effect.Hefty
runViaTag
Control.Effect.Tag
S
1 (Type/Class)
Data.Hefty.Union
2 (Type/Class)
Data.Hefty.Extensible
SCurrentLevel
Data.Hefty.Union
Search
Data.Hefty.Union
SearchMemberRec
Data.Hefty.Union
SearchMemberRecAction
Data.Hefty.Union
SearchMemberRecWhenLowerLevel
Data.Hefty.Union
SearchMemberRecWhenLowerLevel_
Data.Hefty.Union
SearchMemberRec_
Data.Hefty.Union
SearchResult
Data.Hefty.Union
SearchResults
1 (Type/Class)
Data.Hefty.Union
2 (Data Constructor)
Data.Hefty.Union
SearchResultsOnSmrDown
Data.Hefty.Union
Search_
Data.Hefty.Union
send0
Control.Effect.Hefty
send0H
Control.Effect.Hefty
send1
Control.Effect.Hefty
send1H
Control.Effect.Hefty
senderFnArgDoc
Data.Effect.TH
senderFnConfs
Data.Effect.TH
senderFnDoc
Data.Effect.TH
senderFnName
Data.Effect.TH
SenderFunctionConf
Data.Effect.TH
SendIns
Control.Effect
sendIns
Control.Effect
SendInsBy
Control.Effect.Key
sendInsBy
Control.Effect.Key
SendSig
Control.Effect
sendSig
Control.Effect
SendSigBy
Control.Effect.Key
sendSigBy
Control.Effect.Key
SFoundIn
Data.Hefty.Union
SFoundLevel
Data.Hefty.Union
SH
1 (Type/Class)
Data.Hefty.Union
2 (Type/Class)
Data.Hefty.Extensible
SigClass
Data.Effect
SingleSig
1 (Type/Class)
Data.Hefty.Union
2 (Data Constructor)
Data.Hefty.Union
SLowerLevel
Data.Hefty.Union
SmrDown
Data.Hefty.Union
SmrRight
Data.Hefty.Union
SmrStop
Data.Hefty.Union
SNotFound
Data.Hefty.Union
spl
Data.Effect.HFunctor
splitEff
Control.Effect.Hefty
SSearchResult
Data.Hefty.Union
StateKey
Control.Freer
Strengthen
Data.Hefty.Union.Strengthen
strengthenN
Data.Hefty.Union.Strengthen
strengthenNUnderM
Data.Hefty.Union.Strengthen
strengthenNUnderM_
Data.Hefty.Union.Strengthen
StrengthenUnder
Data.Hefty.Union.Strengthen
StrengthenUnder_
Data.Hefty.Union.Strengthen
Subsume
Data.Effect.HFunctor
subsume
Control.Effect.Hefty
subsumeH
Control.Effect.Hefty
subsumeN
Control.Effect.Hefty
subsumeNH
Control.Effect.Hefty
subsumeNUnderM
Control.Effect.Hefty
subsumeNUnderMH
Control.Effect.Hefty
SumToUnionList
Data.Hefty.Union
suppressFirstOrderInSignatureClassWarning
Data.Effect.TH
swapSum
Data.Free.Sum
T
Data.Effect.Tag
Tag
1 (Data Constructor)
Data.Effect.Tag
2 (Type/Class)
Data.Effect.Tag
tag
Control.Effect.Tag
tagEff
Control.Effect.Hefty
tagEffH
Control.Effect.Hefty
taggedSenderGenConf
Data.Effect.TH
TagH
1 (Data Constructor)
Data.Effect.Tag
2 (Type/Class)
Data.Effect.Tag
TH
Data.Effect.Tag
toEffF
Control.Effect.Free
toInterpretKFromContT
Control.Effect.Hefty
toInterpretKFromContT2
Control.Effect.Hefty
transCont
Control.Effect.Hefty
transform
Control.Effect.Hefty
transformAll
Control.Effect.Hefty
transformAllFH
Control.Effect.Hefty
transformAllH
Control.Effect.Hefty
transformFH
Control.Effect.Hefty
transformFreer
Control.Freer
transformH
Control.Effect.Hefty
translate
Control.Effect.Hefty
translateFH
Control.Effect.Hefty
translateH
Control.Effect.Hefty
U
1 (Type/Class)
Data.Hefty.Union
2 (Type/Class)
Data.Hefty.Extensible
UH
1 (Type/Class)
Data.Hefty.Union
2 (Type/Class)
Data.Hefty.Extensible
unbundle
Control.Effect.Hefty
unbundleUnion2
Data.Hefty.Union
unbundleUnion3
Data.Hefty.Union
unbundleUnion4
Data.Hefty.Union
unEffUnion
Control.Effect.Hefty
unEffUnionF
Control.Effect.Free
unExtensibleUnion
Data.Hefty.Extensible
unFieldApp
Data.Hefty.Extensible
unFreerChurch
Control.Monad.Freer.Church
unFreerFinal
Control.Freer.Final
unFreerTree
Control.Monad.Freer.Tree
unHCont
Data.Effect.HFunctor.HCont
unHefty
Control.Hefty
Union
Data.Hefty.Union
UnionListToSum
Data.Hefty.Union
UnionToSum
Data.Hefty.Union
unKey
Data.Effect.Key
unkeyEff
Control.Effect.Hefty
unkeyEffH
Control.Effect.Hefty
unKeyH
Data.Effect.Key
UnliftIfSingle
Data.Hefty.Union
unliftIns
Data.Effect
unliftInsIfSingle
Data.Hefty.Union
unMakeEffectConf
Data.Effect.TH
unSingleSig
Data.Hefty.Union
unTag
Data.Effect.Tag
untagEff
Control.Effect.Hefty
untagEffH
Control.Effect.Hefty
unTagH
Data.Effect.Tag
ViaFreer
1 (Type/Class)
Control.Freer
2 (Data Constructor)
Control.Freer
viaFreer
Control.Freer
ViaTag
1 (Data Constructor)
Control.Effect.Tag
2 (Type/Class)
Control.Effect.Tag
warnFirstOrderInSigCls
Data.Effect.TH
Weaken
Data.Hefty.Union.Weaken
weaken
Data.Hefty.Union
weaken2
Data.Hefty.Union
weaken2Under
Data.Hefty.Union
weaken2Under2
Data.Hefty.Union
weaken3
Data.Hefty.Union
weaken3Under
Data.Hefty.Union
weaken4
Data.Hefty.Union
weakenN
Data.Hefty.Union.Weaken
weakenNUnderM
Data.Hefty.Union.Weaken
weakenNUnderM_
Data.Hefty.Union.Weaken
WeakenUnder
Data.Hefty.Union.Weaken
weakenUnder
Data.Hefty.Union
weakenUnder2
Data.Hefty.Union
weakenUnder3
Data.Hefty.Union
WeakenUnder_
Data.Hefty.Union.Weaken
withFound
Data.Hefty.Union
WriterKey
Control.Hefty
_confByEffect
Data.Effect.TH
_doesDeriveHFunctor
Data.Effect.TH
_doesGenerateLiftInsPatternSynonyms
Data.Effect.TH
_doesGenerateLiftInsTypeSynonym
Data.Effect.TH
_doesGenerateSenderFnSignature
Data.Effect.TH
_keyedSenderGenConf
Data.Effect.TH
_normalSenderGenConf
Data.Effect.TH
_senderFnArgDoc
Data.Effect.TH
_senderFnDoc
Data.Effect.TH
_senderFnName
Data.Effect.TH
_taggedSenderGenConf
Data.Effect.TH
_warnFirstOrderInSigCls
Data.Effect.TH
|+
Data.Hefty.Union
|+:
Data.Hefty.Union
~>
Control.Effect
~~>
Data.Effect.HFunctor.HCont