(<>) (copy ?a) (?a ?a)
(copy x)
(><) (copy ?a) (?a ?a)
(copy y)