%PDF-1.5 % 1 0 obj << /S /GoTo /D (section.1) >> endobj 4 0 obj (1 Introduction) endobj 5 0 obj << /S /GoTo /D (section.2) >> endobj 8 0 obj (2 Tree labelling) endobj 9 0 obj << /S /GoTo /D (section.3) >> endobj 12 0 obj (3 Idiomatic traversals) endobj 13 0 obj << /S /GoTo /D (section.4) >> endobj 16 0 obj (4 The laws of traversal) endobj 17 0 obj << /S /GoTo /D (section.5) >> endobj 20 0 obj (5 The Representation Theorem) endobj 21 0 obj << /S /GoTo /D (section.6) >> endobj 24 0 obj (6 `Naturality' in the datatype) endobj 25 0 obj << /S /GoTo /D (section.7) >> endobj 28 0 obj (7 Two other consequences) endobj 29 0 obj << /S /GoTo /D (section.8) >> endobj 32 0 obj (8 The batch idiom) endobj 33 0 obj << /S /GoTo /D (section.9) >> endobj 36 0 obj (9 Proof of the Representation Theorem) endobj 37 0 obj << /S /GoTo /D (section.10) >> endobj 40 0 obj (10 Discussion) endobj 41 0 obj << /S /GoTo /D (appendix.A) >> endobj 44 0 obj (A Some lengthy but not so interesting proofs) endobj 45 0 obj << /S /GoTo /D (subsection.A.1) >> endobj 48 0 obj (A.1 Formula for backwards idiom) endobj 49 0 obj << /S /GoTo /D (subsection.A.2) >> endobj 52 0 obj (A.2 Flattening formula) endobj 53 0 obj << /S /GoTo /D (subsection.A.3) >> endobj 56 0 obj (A.3 Correctness of the Applicative instance for Batch) endobj 57 0 obj << /S /GoTo /D (subsection.A.4) >> endobj 60 0 obj (A.4 Idiomatic application to batch) endobj 61 0 obj << /S /GoTo /D (subsection.A.5) >> endobj 64 0 obj (A.5 Formula for composite of batch and another idiom) endobj 65 0 obj << /S /GoTo /D [66 0 R /Fit] >> endobj 70 0 obj << /Length 5304 /Filter /FlateDecode >> stream xڭ;ٮHv N7xmLLLC*I)RͥlU"v'VOa]ˏ={+eUe0\>V_ݙ~u&N]ݝXW\x'^E;nn{Ifd+˧E;I ,㝼#D8q %A&`Ϧ7Gz"EPfYk@s84 $ᡯYɴ#}՝hz}jVw)ab|z|\N/s hiCᦺAt*XLΫogi|Q\tOHPǓ@^~IPu:x@ߚj\ tL}"UZy.a4{7-X{g-\] lBow VPTE0S!_N76ᣧ4ɗzXqrg<)i96 ͽmn>EdAxIz^RlVVJXI-VzO-YGSH[wBAߥ:%TUR|]]n0*+Gh6v"g8)zkt3~y8dɱ?;VX(ӯsSx4$Q ťR <Ѐԃ =v~ۈ?t x;}(tB ~#4gSտaT1vmI_p"lVzj/ juȍco!|jydzpnQ:G-F#BWBF4+hmO]Qyc7fQ7u_n.@xu`hr{ϥ1?@EYxmg#]:H#+r}]ֶT܁0(z9U*<Ď(R<mhJۼb-3i7#w$TKrC m3 tH 43@+5|4CNsxQMG͟v:mb3\;`[3,3L)欪뻦qHS_փAIf ^xiS[]KI\QpѴ%W];Vs/pޮ g~2$Kp>"Vhݙ TnG`K6dZBi8!9NQcu86R .FD_fVXivUdiF\+IqNv=E83u~g:bvncLF ~2P6ni~Gϙpg;2ڶ]=MøDgMOgYEYl1QET1DCïqw1rjӳE8hM;)v DmTdj]ϤBP0 {a>_Zm*Iiq|V[1Tൖs8;ۍ8A2 1wIzrO g1X]yqˌ Zt|ՁO8m͚ godՂD!OGX#>Sop(nQe}H|Be6<|Y>Eq(5GZ/!H4|< VpW($%$Ǐhna.#n3VUlxc4Qk=jnFsn8 M~cK'evu2%q<>1v,YR<ċJ{ r9lы$p\D#[lP;sm|?ИZreEzRdj,< :<$A_?s(m|9 uK_pb`UP`K0Ę7r7O~{V#=Jj招