Infinite solutions by AST suspension

By Coen de Korte