hoogle generate --local
hoogle server --local