12-Copatterns: interleave (even xs) (odd xs) ∼ xs