Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives
class Term x
data TP m
data TU a m
paraTP
paraTU
applyTP
applyTU
adhocTP
adhocTU
msubstTP
msubstTU
seqTP
seqTU
passTP
passTU
choiceTP
choiceTU
mchoicesTP
mchoicesTU
allTP
allTU
allTU'
oneTP
oneTU
anyTP
anyTU
anyTU'
someTP
someTU
someTU'
injTP