Question about DNS - Theo's Typesafe Cult