update govhack-haskell proposal