I wonder if it is possible to embed the unhandled effect in the exception Unhandled. In terms of the OCaml syntax, it's like this:

type exn += Unhandled : 'a Effect.t -> exn

This would enable a library to register a printer via Printexc for its effects, which seems to be useful for debugging (e.g., reminding the user to call some run to handle effects).