% COL signature for integer lists, and some arith functions tuple : type nul : tuple new : int -> tuple -> tuple sqr : int -> int plus,times : int -> int -> int size : tuple -> int mapfn : (int -> int) -> tuple -> tuple fold : (int -> int -> int) -> tuple -> int $