Moved Propagate example into Propagate.fs.