adding Hoogle