A good way how to validate types in TypeScript (typescript, functional programming, static typing, my library, api, json)

Sudoku Solver in Scala Part 1: Validated types (sudoku, scala, functional programming, static typing)