PS: if somebody knows about a similar project please drop me a line (Helium does not fit the requirements, as it depends on GHC itself).