On 29/06/13 02:13, Guillaume Brunerie wrote: > (1) Why are you using this complicated f instead of \ i -> Set i, Because f has a type, but \ i -> Set i doesn't. Martin