include "List.aes" include "Func.aes" contract StdInc = entrypoint test() = List.map((x) => Func.id(x), [1,2,3,4])