Binary search-based approximation (can't work)
A new applicative-based approximation module.
Add function spoony for cheeky forcing without NFData.
Incredibly slow implementation of partial comparisons.
Much more bearable implementation of approximation.