(@ replace items n item .replaced +-
    (.* items i current >
        ([= n) i >
            (attach replaced item)
        >
            (attach replaced current)
        )
    )
+
    {A|L : <T>} items
    {A|L : T : [items]} replaced
)
