let singleton x = init 1 (const x)