Typescript question - Theo's Typesafe Cult