úÎ "      !None !"'(*+2346=JKM 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(n) Naive pattern matchO(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.:"#$%&'()*+,- . !/0123456789"  !"  ! ("#$%&*)('+,-   . !/0123456789 :        !"#$%&'()*+,-./01234567extensible-0.0Data.Extensible∈positionPositionUniongetUnionMatchrunMatchK1getK1K0getK0:|UnionAt:*TreeNilunconsP<:*outPrecordrecordAtinS<:|exhaust<%plattermatch