How to turn Integer-List Generator [m …] in Lambda Calculus in Haskell

Question

I have given a task to make the Integer-List Generator [m...] in lambda calculus. So it should fullfill this definition.

Y F m ≡ : m (Y F (+ m 1))

The