Tökéletes számok kilistázása haskellben, egyetlen listakifejezéssel?

Nem igazán ismerem a Haskell szintaktikát de szerintem ennek így, vagy kis módosítással működnie kéne:

[x | x <- [1..], sum [y | y <- [1..x `div` 2], x `mod` y == 0] == x] :: [Int]

#1 vagyok.

Közben hazaértem, kipróbáltam és úgy tűnik hogy jól működik a kód amit írtam. A belső listanézet listázza az osztókat, sum függvénnyel összegzem őket és listázom azokat a számokat amik megegyeznek az osztóik összegével, szintén egy listanézetben. A :: [Int] a végén azért van ott hogy kiírásnál a fordító tudja milyen típust tárolok a listában. Nem voltam biztos a szintaktikában és google-lel néztem utána, de minden funkcionális nyelvben nagyon hasonló.