@@ -281,5 +281,4 @@ in
281281 & pqThen (define teardown)
282282:}
283283[User {userName = "Alice", userEmail = Just "alice@gmail.com"},User {userName = "Bob", userEmail = Nothing},User {userName = "Carole", userEmail = Just "carole@hotmail.com"}]
284−-}
285284```