Explained laws for `for` and `(~>)`