cross-posted from: https://lazysoci.al/post/16658362

All aboard the type train!