Add hoogle back in