I enjoy a thin veil of anonymity.

In general any type system is designed to prove things. So all I'm really saying is "use strong types to prove more" which is irrefutable.