Proof.Propositional.Empty

class Empty a

withEmpty

withEmpty'