Kindness of strangers (or strangeness of Kinds)

José Pedro Magalhães jpm at
Thu Jun 7 09:28:19 CEST 2012


On Thu, Jun 7, 2012 at 2:46 AM, AntC <anthony_clayden at> wrote:

> What does the `ArgKind' message mean?

`ArgKind` and `OpenKind` is what previously was called `?` and `??` (or the
way around; I can't remember).

You might also want to have a look at Richard and Stephanie's latest paper
draft, about
singletons, which is related to what you are trying in your example:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Glasgow-haskell-users mailing list