Suppose S is a big set, and I'd like to access just a single element from it. The only natural way I've come up with to do that is this: head $ Data.Set.toList S. If I do that, am I correct that Haskell will not try to convert all of S to a list; instead it will only convert one element, and then return it, and leave the rest of the list unevaluated?