Kindness of strangers (or strangeness of Kinds)
José Pedro Magalhães
jpm at cs.uu.nl
Thu Jun 7 09:28:19 CEST 2012
On Thu, Jun 7, 2012 at 2:46 AM, AntC <anthony_clayden at clear.net.nz> 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
singletons, which is related to what you are trying in your example:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users