Conway's Game of Life, but you derive each next step in TypeScript type system.