We made a number of small improvements to the haskell translator on the rt branch. We should cherry-pick or back port those that make sense to reduce the diff between the branches and to make the improvements available on the master branch.

Most of these are for providing Haskell reader monad translations, but there is also some (related) generalisation of type handling etc.

These are fairly old (around 2020/21), so might need a bit of work to port over.