Programming to AbstractionsTreating Lists, Vectors, Sets, and Maps as Sequencesfirst, rest, and consAbstraction Through IndirectionSeq Function Examplesmapreducetake, drop, take-while, and drop-whilefilter and somesort and sort-byconcatLazy SeqsDemonstrating Lazy Seq EfficiencyInfinite SequencesThe Collection AbstractionintoconjFunction FunctionsapplypartialcomplementA Vampire Data Analysis Program for the FWPDSummaryExercises