how tight should types be? - Theo's Typesafe Cult