refactor: use a unboxed record for `Decoder.t`

[c-cube]

this should improve error messages for users, because it won't present them with the unfolded function+result type. It makes type errors simpler.