At a later point, we can add some more logic that tries to infer the target type of the binding and applies simplification accordingly.