Effect-free forms such as if/then/else