Yes, unit assigment works by seeing whether the unit of the right-side argument can be transformed to that of the left.