hoogle alias.