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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
