RE: Haddock interface file for standard libraries