0000: 46 6c 6f 61 74 20 66 28 46 6c 6f 61 74 2c 66 6c Float f(Float,fl
0010: 6f 61 74 2c 64 6f 75 62 6c 65 29 3a 28 7b 30 2e oat,double):({0.
0020: 31 7d 2c 30 2e 32 2c 30 2e 33 29 2d 3e 7b 30 2e 1},0.2,0.3)->{0.
0030: 36 7d 0a 46 6c 6f 61 74 20 66 28 46 6c 6f 61 74 6}.Float f(Float
0040: 2c 66 6c 6f 61 74 2c 64 6f 75 62 6c 65 29 3a 28 ,float,double):(
0050: 7b 30 7d 2c 30 2e 31 2c 30 2e 32 29 2d 3e 7b 30 {0},0.1,0.2)->{0
0060: 2e 33 7d 0a 44 6f 75 62 6c 65 20 66 28 66 6c 6f .3}.Double f(flo
0070: 61 74 2c 44 6f 75 62 6c 65 2c 64 6f 75 62 6c 65 at,Double,double
0080: 29 3a 28 30 2e 31 2c 7b 30 2e 32 7d 2c 30 2e 33 ):(0.1,{0.2},0.3
0090: 29 2d 3e 7b 30 2e 36 7d 0a 44 6f 75 62 6c 65 20 )->{0.6}.Double
00a0: 66 28 66 6c 6f 61 74 2c 44 6f 75 62 6c 65 2c 64 f(float,Double,d
00b0: 6f 75 62 6c 65 29 3a 28 30 2e 31 2c 7b 30 7d 2c ouble):(0.1,{0},
00c0: 30 2e 32 29 2d 3e 7b 30 2e 33 7d 0a 54 20 66 28 0.2)->{0.3}.T f(
00d0: 54 2c 63 68 61 72 2c 54 29 3a 28 7b 22 74 68 65 T,char,T):({"the
00e0: 22 7d 2c 27 20 27 2c 7b 22 66 6f 78 22 7d 29 2d "},' ',{"fox"})-
00f0: 3e 7b 22 62 6f 78 22 7d 0a 54 20 66 28 54 2c 63 >{"box"}.T f(T,c
0100: 68 61 72 2c 54 29 3a 28 7b 22 68 65 94 22 7d 2c har,T):({"he”"},
0110: 27 20 27 2c 7b 22 6f 78 6f 22 7d 29 2d 3e 7b 22 ' ',{"oxo"})->{"
0120: 62 78 6f 22 7d 0a 58 20 66 28 42 2c 63 68 61 72 bxo"}.X f(B,char
0130: 2c 64 6f 75 62 6c 65 2c 42 29 3a 28 7b 30 2e 31 ,double,B):({0.1
0140: 2c 7b 31 2c 32 2c 33 7d 7d 2c 27 7f 27 2c 30 2e ,{1,2,3}},'',0.
0150: 33 2c 7b 30 2e 32 2c 7b 35 2c 34 2c 33 7d 7d 29 3,{0.2,{5,4,3}})
0160: 2d 3e 7b 22 72 65 74 75 72 6e 20 76 61 6c 22 2c ->{"return val",
0170: 27 7f 27 7d 0a 58 20 66 28 42 2c 63 68 61 72 2c ''}.X f(B,char,
0180: 64 6f 75 62 6c 65 2c 42 29 3a 28 7b 2d 32 2e 33 double,B):({-2.3
0190: 35 33 34 34 65 2d 31 38 35 2c 7b 32 2c 33 2c 30 5344e-185,{2,3,0
01a0: 7d 7d 2c 27 09 27 2c 30 2e 33 2c 7b 31 2e 30 36 }},'.',0.3,{1.06
01b0: 31 65 2d 33 31 33 2c 7b 33 2c 30 2c 30 7d 7d 29 1e-313,{3,0,0}})
01c0: 2d 3e 7b 22 72 65 74 75 72 6e 20 76 61 6c 22 2c ->{"return val",
01d0: 27 09 27 7d 0a '.'}.