Require Import HaskWeakToCore.
Require Import HaskProofToStrong.
-Require Import ProgrammingLanguage.
-
-Require Import HaskProofFlattener.
-Require Import HaskProofStratified.
-
-Require Import ReificationsIsomorphicToGeneralizedArrows.
+(*Require Import HaskProofFlattener.*)
+(*Require Import HaskProofStratified.*)
Open Scope string_scope.
Extraction Language Haskell.