AND = p => q => p(q)(p)

OR = p => q => p(p)(q)
