On 2/6/13, Richard Eisenberg <eir@cis.upenn.edu> wrote:
> The only thing that stops me from saying "push" is that I think there is a
> better organization for all of this. The ideas we're discussing here (things
> like the Void type) don't seem to belong in TypeLits -- it has nothing to do
> with literals. Time for a GHC.TypeReasoning module? Does someone have a
> better name?

Sounds okay. We can wiggle around on the new branch 'till we feel
comfortable, but I'd like to land this on master before the v7.8 train
leaves the station (i.e. the release branch is created).