improved unit operator with lax syntax