@@ -12,6 +12,7 @@
13-----------------------------------------------------------------------------
13-----------------------------------------------------------------------------
15+{-# OPTIONS_GHC -fno-warn-orphans #-}
15{-# LANGUAGE DeriveDataTypeable, FlexibleContexts #-}
16{-# LANGUAGE DeriveDataTypeable, FlexibleContexts #-}
17module Language.PureScript.TypeChecker.Types (
18module Language.PureScript.TypeChecker.Types (