Type checking for = is ok!