Title should been "names are not ENOUGH for type-safety" but then no one would have read it I guess...