HERMIT.Kure
type TransformH a b
type RewriteH a
type BiRewriteH a
type LensH a b
type PathH
modGutsT
modGutsR
progNilT
progConsT
progConsAllR
progConsAnyR
progConsOneR
nonRecT
nonRecAllR
nonRecAnyR
nonRecOneR
recT
recAllR
recAnyR
recOneR
defT
defAllR
defAnyR
defOneR
altT
altAllR
altAnyR
altOneR
varT
varR
litT
litR
appT
appAllR
appAnyR
appOneR
lamT
lamAllR
lamAnyR
lamOneR
letT
letAllR
letAnyR
letOneR
caseT
caseAllR
caseAnyR
caseOneR
castT
castAllR
castAnyR
castOneR
tickT
tickAllR
tickAnyR
tickOneR
typeT
typeR
coercionT
coercionR
defOrNonRecT
defOrNonRecAllR
defOrNonRecAnyR
defOrNonRecOneR
recDefT
recDefAllR
recDefAnyR
recDefOneR
letNonRecT
letNonRecAllR
letNonRecAnyR
letNonRecOneR
letRecT
letRecAllR
letRecAnyR
letRecOneR
letRecDefT
letRecDefAllR
letRecDefAnyR
letRecDefOneR
consNonRecT
consNonRecAllR
consNonRecAnyR
consNonRecOneR
consRecT
consRecAllR
consRecAnyR
consRecOneR
consRecDefT
consRecDefAllR
consRecDefAnyR
consRecDefOneR
caseAltT
caseAltAllR
caseAltAnyR
caseAltOneR
progBindsT
progBindsAllR
progBindsAnyR
progBindsOneR
tyVarT
tyVarR
litTyT
litTyR
appTyT
appTyAllR
appTyAnyR
appTyOneR
funTyT
funTyAllR
funTyAnyR
funTyOneR
forAllTyT
forAllTyAllR
forAllTyAnyR
forAllTyOneR
tyConAppT
tyConAppAllR
tyConAppAnyR
tyConAppOneR
reflT
reflR
tyConAppCoT
tyConAppCoAllR
tyConAppCoAnyR
tyConAppCoOneR
appCoT
appCoAllR
appCoAnyR
appCoOneR
forAllCoT
forAllCoAllR
forAllCoAnyR
forAllCoOneR
coVarCoT
coVarCoR
axiomInstCoT
axiomInstCoAllR
axiomInstCoAnyR
axiomInstCoOneR
symCoT
symCoR
transCoT
transCoAllR
transCoAnyR
transCoOneR
nthCoT
nthCoAllR
nthCoAnyR
nthCoOneR
instCoT
instCoAllR
instCoAnyR
instCoOneR
lrCoT
lrCoAllR
lrCoAnyR
lrCoOneR
conjT
conjAllR
disjT
disjAllR
implT
implAllR
equivT
equivAllR
quantifiedT
quantifiedR
clauseT
clauseR
forallVarsT
(<$>)
(<*>)