source: [word=□ | □] □ □ □
destination: [word=presence | □] □ □ □
spec: Many of these functions are in the IO library instead of the Prelude and thus must be explicitly imported to be in scope ( modules and importing are discussed in Section 11 ) . mobi domain is a fantastic way to provide a unique presence specifically designed for the mobile world .