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