Nifty! This fills a gap I sometimes come across between type expressions and needless class definitions. Guess I'll see what kind of new havoc I can create with

Nifty! This fills a gap I sometimes come across between type expressions and needless class definitions. Guess I'll see what kind of new havoc I can create with this tomorrow...