Data.Logic.Classes.Apply
class Apply atom p term
class Predicate p
apply
zipApplys
apply0
apply1
apply2
apply3
apply4
apply5
apply6
apply7
showApply
prettyApply
varApply
substApply