We use optional types everywhere for our server code, and that works really well. Not sure what if not variable: means? Just look at its type, no big deal. We don’t annotate everything, but we annotate enough that static analysis tools can tell us what the type of pretty much any variable is. And most of the time, it’s not even necessary because the variables are clear enough that the type can be inferred.

So yeah, not an issue.