Reminds be of how people use typescript types like a hidden programming language making calculators etc.