úÎ ä &(c) dramforever 2015BSD3 dramforeverunstablenon-portable (GHC extensions)Safe1A representation of a sequence of values of type aD using a splay tree, which can also contain measurements of type s. Invariant: s is a valid cached measurement(c) dramforever 2015BSD3 dramforeverunstablenon-portable (GHC extensions)Safe3579Ns is a measurement of aUSmart constructor for making a branching node that generates a cached measurement.(Construct a sequence of only one elementKSplit the sequence into two part: the longest prefix whose measure does not4 satisfy the predicate, and the rest of the sequence+The predicate must be monotonic. Note that   <  .Concatenate two sequences 1This instance uses the cached measure if possible           splay_G5G2bm8q0b7CeH01ZHhnlP Data.SplayData.Splay.InternalSplayMeasuredmeasure singletonsplit><BranchLeafbranchghc-prim GHC.TypesFalseTrue$fMeasuredsSplay findAndSplaysplayRightmost