Haddock.InterfaceFile