As compact. Most of type errors will shift to compile time, instead of blowing during runtime. Profit.