Graph. Proof. srapply (Build_Graph (Unit + Bool)). intros [i|i] [j|j]. 2: exact Unit. all: exact Empty. Defined.
Require Import Basics. Require Import Types. Require Import Diagrams.Graph. Require Import Diagrams.Diagram.