Merge branch 'hoogle_search' of https://github.com/zudov/diagrams-doc into hoogle_search
Merge branch 'hoogle_search' of https://github.com/zudov/diagrams-doc into hoogle_search