Daniel Keep wrote: > I suspect this is because invariant is now a declaration, a storage > class *and* a type constructor. It's a dessert topping *and* a floor wax! http://www.jibjab.com/view/101069#