Re: RFC: Source-markup language for GHC User's Guide