[Haskell-cafe] Type equality proof

Martijn van Steenbergen martijn at van.steenbergen.nl
Tue Mar 17 17:42:28 EDT 2009

Ryan Ingram wrote:
> These types are very useful for construction of type-safe interpreters
> and compilers.

That's exactly what I have in mind.

In my specific case I want to compare the constructors of the GADT 
representing a datatype family in the multirec package:

> data AST a where
>   Stmt :: AST Stmt
>   Expr :: AST Expr


More information about the Haskell-Cafe mailing list