﻿:: { n:u1 }

Sum([1, 3, 12, -2])
Sum([1u, 3u])
Sum([1ia, 3, 12, -2])
Sum([1r, 3, 12, -2])
Sum([n, 1, 3, 12, -2])
Sum([n, 1u, 3u])
Sum([n, 1ia, 3, 12, -2])
Sum([n, 1r, 3, 12, -2])
Sum([1r, 3, 12, -2, n])

Sum([1i4, 3i4]) // Doesn't reduce, since conversion is involved.
