@fxn.bsky.social Great talk on Tropical on Rails. About the type notation you mentioned at the end, is that inline rbs? How do you typecheck it? Or do you use just as comments?