Mirror-test your tagless final algebras in Scala.
Mirra verifies that a real repository implementation behaves the same way as a simple in-memory model — using property-based testing to catch the bugs you'd never think to write a case for.
Full documentation is available at the project website.