Right now CoreFn is untyped (as far as I can see).

I'd like to experiment with a Haskell backend for Purescript, but it seems that without type annotations type inference in the generated Haskell code might suffer (though I'm not sure about this).

What would it take to add type annotations in CoreFn?