I enjoyed this: https://type-level-typescript.com/