Types provide safety to your terms, but what provides safety to your types? Nothing, and nothing ever will. Do you want to write type safe programs or not?