<div dir="ltr">Happy New Year,<div><br></div><div>Just wanted to register my vote for Refinement Types in 2013, I think they will be crazy useful.  Tons of utility in semi-structured data applications in munging  strings and numbers from text files.  Also in many of the today&#39;s Web APIs where are fundamentally string based.<div>
<br></div><div style>Thanks,</div><div style><br></div><div style>Ray</div></div></div>