Re: How to #include into .lhs files?