This sounds interesting, my only experience with Types is via TypeScript, would you mind sharing a really simple example of how this could work in TS? Or maybe

This sounds interesting, my only experience with Types is via TypeScript, would you mind sharing a really simple example of how this could work in TS? Or maybe some link/resources you think are appropiate for learning more on this topic, thanks!