Require Import ExtractionMain.
-(*
-Require Import ProgrammingLanguageGeneralizedArrow.
-Require Import ProgrammingLanguageFlattening.
+Require Import HaskProgrammingLanguage.
+Require Import PCF.
+Require Import HaskFlattener.
Require Import ProgrammingLanguageArrow.
Require Import ProgrammingLanguageReification.
-*)
+Require Import ProgrammingLanguageFlattening.
Require Import ReificationsIsomorphicToGeneralizedArrows.