Function should be lazy

[thygesteffensen]

Consider the if function, ale three parameters are evaluated, the guard, true and false branch.
But consider the case where the false branch is guarded by the guard, but is evaluated anyways because it is not short circuit.