type patError
add small safe partial functions
track failing tests
most tests pass
all basic tests pass
more tests
playing with infinity...
isolate patError type
adding totality flag
update tests
infinity
update README.md
minor
adding catch benchmarks
correct error
first passing example
another safe test
bug in nested termination
change zipWith's type
type more failing-error functions