prop_roundTripEntriesToDatabase :: AppContext -> Property
prop_roundTripEntriesToDatabase ctx = Monadic.monadicIO $ do
  tds <- Monadic.pick (QuickCheck.listOf1 arbitrary)
  es  <- Monadic.run (SQLite.run (addEntryToDatabase tds) ctx)
  res <- Monadic.run (SQLite.run selectAll ctx)
  Monadic.assert (null (es \\ res))
prop_roundTripEntriesToDatabase :: AppContext -> Property
prop_roundTripEntriesToDatabase ctx = Monadic.monadicIO $ do
  tds <- Monadic.pick (QuickCheck.listOf1 arbitrary)
  es  <- Monadic.run (SQLite.run (addEntryToDatabase tds) ctx)
  res <- Monadic.run (SQLite.run selectAll ctx)
  Monadic.assert (null (es \\ res))
prop_roundTripEntriesToDatabase ctx = Monadic.monadicIO $ do
  tds <- Monadic.pick (QuickCheck.listOf1 arbitrary)
  es  <- Monadic.run (SQLite.run (addEntryToDatabase tds) ctx)
  res <- Monadic.run (SQLite.run selectAll ctx)
  Monadic.assert (null (es \\ res))