-- TAG: termination

module Lex (foo) where

bar = foo [1, 2, 3] [2, 3, 4]

{- decrease foo 1 2 @-}
foo xs    (y:ys) = foo xs ys
foo (x:xs) ys    = foo xs ys
foo xs     ys    = xs