accmulation = cons(h, Empty) // 嵌套太深
can not figure it out