First Off

看看Learn You a Haskell。

分析问题

这是相当简单的，你需要一个函数evens :: Int -> [Int]

最基本的解决方案

Haskell有一个列表构造函数，它以最基本的形式给你一个连续数字的列表：[1..10]会给你从1到10的所有数字。因为Haskell是一种懒惰的语言，你不需要给它一个上限。也就是说，[1..]只会返回一个包含所有数字的列表。
你也可以用一个间隔来运行它，比如说2代表偶数：[2,4..10]会给你给予2到10的偶数。所以你需要的函数确实是：

firstEvens :: Int -> [Int]
firstEvens n = [2,4..2*n]

字符串
这也相当于

firstEvens' :: Int -> [Int]
firstEvens' n = take n [2,4..]

型

递归

递归地，你可以运行你的函数。每一步你只需要乘以2。

firstEvens'' :: Int -> [Int]
firstEvens'' 0 = []
firstEvens'' n = 2*n : firstEvens' (n-1)

型