... (Int,Int,Tree Int)type DQT = QtabCompo]type SOS = (ScanCompo],Bits)type XXX = (Char,String)type FrameCompo = (Int,Dim,Int)type ScanCompo = (Int,Int,Int)type QtabCompo = (Int,Int]) For ... relevant information for each segmenttype. Some segments contain repeatedinformation, for whichwe dene separate types. The type XXX is for all remaining segmenttypes,whichwe leave uninterpreted.type ... that contain repeated information rst contain a count for the replicated informa-tion, which can conveniently be passed to the exactly function. Note that in monad compre-hensions, as in list...