Comment by denis-

ty still doesn't understand match + typing.assert_never pattern, last barrier for me to switching.