Description
A Haskell testing library for checking partial and infinite values. It helps developers reason about lazy evaluation, bottoms, undefined values, and properties that ordinary tests may miss.
Use it when library correctness depends on laziness or termination behavior. These tests are advanced, but they can catch subtle bugs in pure functional code.