But, while this is generic, we know the underlying type from context, don't we? At no point during runtime does the compiler have to check which type we have to decode, since it can infer it from the return type? 🤔