Как этот фрагмент переведет к Haskell?

Я борюсь с Haskell, и идею использования рекурсии по поводу случайных вещей.

Например, как бы

// this might seem silly but I need to do it
list1 = empty list
list2 = list of numbers
for i from 0 to N // N being a positive integer
    for each number in list2
        if number == i, add to list1

переводится в «функциональную парадигму»? Любое руководство будет оценено.