Require Import ReificationsAndGeneralizedArrows.
Require Import ReificationsIsomorphicToGeneralizedArrows.
-Require Import HaskProofStratified.
-Require Import HaskProofFlattener.
+Require Import HaskProofCategory.
Require Import ProgrammingLanguage.
(* very slow! *)