Require Import HaskProofToStrong.
Require Import ProgrammingLanguage.
+
+Require Import HaskProofFlattener.
+Require Import HaskProofStratified.
Require Import HaskProofCategory.
+
Require Import ReificationsIsomorphicToGeneralizedArrows.
(*Require Import HaskStrongCategory.*)