Type safety is important.