On Fri, Nov 11, 2011 at 01:21:58AM +0100, Daniel Schoepe wrote: > On Thu, 10 Nov 2011 15:55:48 -0700, kolli kolli <nammukolli04 at gmail.com> wrote: > > with Just TypeBool, and not just TypeBool. An unfortunate case of significant case. ;) -Brent