The Ruby example you gave looks good for these simple cases. I feel like this could break down for more complex cases though. What about generic types? Or what

The Ruby example you gave looks good for these simple cases. I feel like this could break down for more complex cases though. What about generic types? Or what Sorbet calls Shapes (e.g. the input type is a hash with 2 specific keys -- stuff like this is typical with JSON ingestion in TS).