-
Richard Eisenberg authored
This change was necessary given the instances for (==) in Data.Type.Equality. These need conjunction, and a local definition of conjunction doesn't work if a client is reasoning about equality. Both the client and the library need the same conjunction, so that is what Data.Type.Bool provides.
9265c889