PS: And, no, you won't be able to set breakpoints in type-level
programs...
but will i be able to lift type-level programs to the kind level? :-) _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
