5 signature L = sig datatype d = C of (a * b) | D end;  signature
7 functor L = functor (L:L)=>  functor
9 functor LL = functor(LL:functor(L:L)->L)=>  functor
10   LL:functor(L:L)->G;  functor
11 functor GL = functor(GL:functor(L:G)->L)=>  functor
12   GL:functor(L:L)->L;  functor
15 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
16   L_YL:functor(L:L)->sig structure Y: G end;  functor
19 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
20   L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
21 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end…  functor
22   FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor
26 signature L = sig datatype d = C of ({a:a}) | D end;  signature
28 functor L = functor (L:L)=>  functor
30 functor LL = functor(LL:functor(L:L)->L)=>  functor
31   LL:functor(L:L)->G;  functor
32 functor GL = functor(GL:functor(L:G)->L)=>  functor
33   GL:functor(L:L)->L;  functor
36 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
37   L_YL:functor(L:L)->sig structure Y: G end;  functor
40 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
41   L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
42 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end…  functor
43   FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor
47 signature L = sig datatype d = C of ({a:a,b:b}) | D end;  signature
49 functor L = functor (L:L)=>  functor
51 functor LL = functor(LL:functor(L:L)->L)=>  functor
52   LL:functor(L:L)->G;  functor
53 functor GL = functor(GL:functor(L:G)->L)=>  functor
54   GL:functor(L:L)->L;  functor
57 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
58   L_YL:functor(L:L)->sig structure Y: G end;  functor
61 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
62   L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
63 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end…  functor
64   FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor