(STRATEGY
    INNERMOST)

(VAR
    x y)
(DATATYPES
    A = µX.< f(X, X), a >)
(SIGNATURES
    h :: [A] -> A)
(RULES
    h(f(x,y)) -> f(y
                  ,f(h(h(x)),a())))