ML Puzzle

How do you handle exceptions raised at the structure level?

e.g.

structure A = struct val _ = raise Fail "" end

Turns out there are implementation dependent ways to
set a top level exception handler. Sadly, not part of
the Basis.