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