On Fri, Nov 30, 2012 at 7:58 PM, Iavor Diatchki <iavor.diatc...@gmail.com> wrote: > Hello, > Here are my thoughts: > * I agree that we should use (:==:) for the name, as it is not specific to > singletons.
Apologies for the bikeshedding, but why not (:~:)? -- Your ship was destroyed in a monadic eruption. _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc