What's your type? Generating type signatures with Sorbet and Tapioca