import "Prelude"

l :: [Integer]
l = [2,3]

f :: Integer -> <Proc> [Integer]
f n = [n] + [0 | i <- l]
    
main = f 1
--
[1, 0, 0]