Very nice.  I love the &quot;beginner hints&quot; idea, and explicit enumeration of which cases are missing in incomplete pattern matches.  Overall, the &quot;compilers as assistants&quot; idea seems great.