updated example to use set
added prelude with pairs as an example