shuffleConsxxsConsxshufflereversexsreverseConsxxsappendreversexsConsxNilappendConsxxsysConsxappendxsysshuffleNilNilreverseNilNilappendNilysysgoalxsshufflexsshuffle1Cons2reverse1append2Nil0goal1INNERMOST