termination-combinators (hackage): Termination combinators for forcing non-terminating algorithms to terminate
Keywords: bsd3|language|library