Note pending hoogle release