On Mon, Jan 19, 2009 at 6:25 PM, David Menendez <dave at zednenem.com> wrote: > Are there any instances of Boolean that aren't isomorphic to Bool? a->Bool for any a. I think. Though I think it should be called GeorgeBoolean otherwise we might confuse it for something his father might have invented. -- Dan