Remove dependency on coq-haskell for now