========================================================================
		Haskell Source Extensions
========================================================================

haskell-type-exts (HTE) is a package providing type checking functionality
on top of the haskell-src-exts (HSE) package. As of yet it is of limited
use, but there are grand plans.

------------------------------------------------------------------------
Package structure:

The modules that comprise haskell-type-exts all reside in the hierarchic 
namespace Language.Haskell.TypeCheck. The exposed modules are:

* Language.Haskell.TypeCheck - The top-level type checker, re-exporting
  all sub-modules.

------------------------------------------------------------------------
Supported extensions:

* None(!)

------------------------------------------------------------------------
Portability and dependencies:

The package uses the ST monad, which implies a dependency on rank-2 types.

------------------------------------------------------------------------
License:

The haskell-type-exts Package is distributed under a derived BSD-style license. It 
derives from several sources, all of which are distributable under 
BSD-style or compatible licenses. See the file LICENSE for the complete 
license text.