Graph. Proof. srapply (Build_Graph Bool). intros i j. exact (if i then if j then Empty else Bool else Empty). Defined.
Require Import Basics. Require Import Types. Require Import Diagrams.Graph. Require Import Diagrams.Diagram. Require Import Diagrams.Cocone.