haskell бесконечный список инкрементных пар

Создать бесконечный список пар:: [(Integer, Integer)] содержащие пары вида(m,n)где каждый из m и n является членом[0 ..], Дополнительное требование заключается в том, что если(m,n) является законным членом списка, то(elem (m,n) pairs) должен вернутьсяTrue в конечное время. Реализация пар, которая нарушает это требование, считается нерешенной.

**** Fresh edit Спасибо за комментарии, давайте посмотрим, смогу ли я добиться прогресса ****

    pairs :: [(Integer, Integer)]
    pairs = [(m,n) | t 

Ответы на вопрос(3)

Ваш ответ на вопрос