source: [word=presence | word=unique] [tag=RB] [□=□] □
destination: [word=presence | word=unique] [tag=RB] [lemma=□] □
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 .