fact: Definition example_fst : run 20 (Fst (Pair (APP (LAM (VAR ZV)) EUnit) (APP (LAM (VAR ZV)) EUnit))) = MkΣ (Closure EUnit NoCl) MT := eq_refl.
imports: Category.Lib Category.Instance.Lambda.Exp Category.Instance.Lambda.Eval