Fix inference of helper function return types (#15) · Issues · Justin Andresen / haskell-to-coq-compiler