It probably could be checked statically if someone taught the type checker about this package so that it could track which variables are frozen at which points in the code.