Hi!

I've created a ticket for this idea: http://hackage.haskell.org/trac/summer-of-code/ticket/1572
Please write your opinion.

I also put the source code here:
http://code.google.com/p/lambdacube/

svn checkout http://lambdacube.googlecode.com/svn/trunk/ lambdacube-read-only


Cheers,
Csaba Hruska