Type safety.