Add an I/O example that uses both <- and let