first passing example
another safe test
bug in nested termination
change zipWith's type
type more failing-error functions