> There is a simpler solution than type inference to removing type annotations while retaining types

This doesn't remove them, it just moves them.