Added notes on tuples and monadic for