Show HN: Conway's Game of Life in TypeScript's type system

TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...