The Safe type is a mix of a ThrowableEither / Eval effect and a writer effect to collect finalizer failures