decodeSync or decodeEither on those without any problem.decodeEither and such. If I decide to do the opposite, the caller is fine but I'm now the one which could fail, since the given schema could actually be defined with effect-based transformation functions.