typedef List#(A) A;