[Agda] type of map..<=

Dan Rosén danr at student.chalmers.se
Sat Oct 6 11:06:14 CEST 2012

> 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

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

More information about the Agda mailing list