--   (Cons p1 (Cons p4 (Cons p2 (Cons p3 Nil)))) } @-}
-- testAlternate3 = trivial

-- {-@ testAlternate4 :: {
--   alternate Nil (Cons p8 (Cons p9 Nil)) =
--   (Cons p8 (Cons p9 Nil)) } @-}
-- testAlternate4 = trivial
