app nil YS YS app cons X YS cons X from X cons X zWadr nil YS nil zWadr XS nil nil zWadr cons X cons Y cons app Y cons X prefix L cons nil 2.2 zWadr cons X cons Y app Y cons X true zWadr cons X cons Y app Y cons X false NaTT certifiable-1.6