Should we really be calling that a side effect? I feel like we should actually be calling it type checking.
Should we really be calling that a side effect? I feel like we should actually be calling it type checking.