DEFINITION papp()
TYPE =
       PListPListPList
BODY =
FIXpapp{
         papp:PListPListPList
         :=λa:PList
           .λb:PList
             .<λp:PList.PList> CASE a OF PNilb | PCons h d a0PCons h d (papp a0 b)
         }