final edits before publish (I hope)
final edit to haskell version (I hope)