Audience member does a 'sentiment analysis' on the talk, asking whether Erwin would prefer Sorbet to be more automated with types living beside the actual code rather than obstructing implementations. Erwin confirms 'yes, yes' — this is why his recommended end-state is generating RBIs with Tapioca instead of writing inline signatures.