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
pApp
pApp0
pApp1
pApp2
pApp3
pApp4
pApp5
pApp6
pApp7