fix: simpler solution + alternative to 02ex07 by michalstruck · Pull Request #6 · gvergnaud/type-level-typescript-workshop