hoogle defaults to true