úÎd2/      !"#$%&'()*+,-.(c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> experimental non-portableNone !"&'(*+2346=HJKM  O(m log n) Select some elements. O(m log n) Embed to a larger union.The extensible sum typeThe extensible product typeO(log n) Add an element to a product.O(log n) Pick a specific element.O(log n) A lens for a specific element.O(log n) O(log n) lift a value.#O(1) Naive pattern match%O(log n) Add a plain value to a product.)O(log n)' A lens for a plain value in a product.+O(log n) Perform pattern match.R/0123456789: ;<= !"#$%&'()*+,-.>?@ABCDEFGHIJKLMNOPQ/  !"#$%&'()*+,-./"#$ ! +*%&'(),  .-=/0123765489:  ;<= !"#$%&'()*+,-.>?@ABCDEFGHIJKLMNOPQ#%,-R         !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOextensible-0.1Data.ExtensibleIncludeshrinkspreadMemberposition∈PositionUniongetUnionMatchrunMatchK1getK1K0getK0Generategenerate:|UnionAt:*TreeNilunconsP<:*hoistPoutPsectorsectorAtinSpicked runPosition<:|exhaust<%pluckbury<%|recordmapMatchmatch