4. Case Studies

• 4.1. Impact of Seq Removal on SBV’s Internal Cache
• 4.2. SBV and the Bizarre GHC Regression
• 4.3. Klister: A First Pass Performance Engineering
• 4.4. Rearchitecting with Data-Oriented Design