Fixed semantics to propagate strictness