import "Prelude"

main :: [Integer]
main = [y | x <- [1..3], y = x+4]
--
[5, 6, 7]