Fields

append:(A, A) ‑> A