Sounds like a nice exercise, I'll try it. But since by and large the lines we have are expression and not statements (the core handler is purely functional, us

Sounds like a nice exercise, I'll try it. But since by and large the lines we have are expression and not statements (the core handler is purely functional, using a monad to thread errors through), this amounts to type errors immediately.