(@ reverse:rc list .reversed +-
    ([list] >
        (detach list head tail)
        ([tail] >
            (attach reversed (# reverse tail) head)
        >
            (attach reversed head)
        )
    )
+
    {list : <T>} list
    {list : T : [list]} reversed
)









