Have you tried Tapioca (https://github.com/Shopify/tapioca) with Sorbet? Typing in general has ways to go sure, but I find this combination quite usable in my day to day.
Maybe I’ll check back in 3 years? But it seems to be A pet toy of Shopify, and for their needs.