For the sake of improving logging/tracing, is there a way to specify where the error originated from in the message or metadata in a "lazy" way.
For example when providing a float to "Int" i'd love to know that if failed from an "Int" ; but when providing an float to "PositiveInt" i'd love to know that it fialed from a "PositiveInt", so I cannot just add the Branded type name inside the message, else when failing from "PositiveInt" it will show "Int".