https://123dok.org/document/yr305rp7-design-patterns-in-c-safety-exceptions-giuseppe-lipari.html