app:(A\!:\!\star)list(A)\rightarrow list(A)\rightarrow list(A)