kallisti-dev/cond — pull request #5 by owst (2013-10-02 17:25:39+00:00)
Title: Add instance for Boolean (x, y)

Boolean algebras are closed under product, this instance implements this.