I see you are planning Hoogle integration. Please feel free to reach out with any questions about it. Similarly, once it's done, let me know and I can put a link from the Hoogle repo.