[Agda] type of map..<=

[Dan Rosén]

>
> Generally, when setting a type signature, may it happen that more than
> one type is possible? If there are multiple possibilities, does there
> exist the unique most special of them?
>

There are indeed examples of functions with different most general types
which are not instances of each other. For instance, take a look at the
example beginning of section 2 of
http://research.microsoft.com/pubs/79812/outsidein-icfp09.pdf.

Cheers,
Dan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20121006/ca1b3f7d/attachment.html