fst 0 Z nil fst s cons Y cons Y from X cons X add 0 X X add s Y s len nil 0 len cons X s fst 2 0 0 nil 0 s 0 cons 1 from 1 add 2 len 1 FULL ./TRS/TRCSR/Ex2_Luc03b_L.trs