[Agda] type of map..<=

[Serge D. Mechveliani]

On Fri, Oct 05, 2012 at 12:33:15AM +0530, Sanjoy Das wrote:
> Hi Sergei,
> 
> Should be List Set I think.

Indeed, it is compiled. Thank you.
And  Set  is not comipled.

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? 

Regards,

------
Sergei