import "Prelude" test :: () -> [Integer] test _ = do header = [0] rows = map (\foo -> map (\bar -> bar) [foo]) [1..5] foldl (+) header rows main = test () -- [0, 1, 2, 3, 4, 5]