naive ABC to Haskell conversion; utilities to review code so generated