Typedefs – A type construction language, programming language agnostic | Heykuki News