Why not place exn in function signature?

There’s also a lively discussion here: