Hoogle's core type search algorithm, as a library - View it on GitHub