appendnilXXappendconsYVUconsYappendVUmapInilnilmapJconsX1Y1consJX1mapJY1appendappendU1V1W1appendU1appendV1W1mapJ1appendX2Y2appendmapJ1X2mapJ1Y2XbYaUbVbIaaJaaX1aY1bU1bV1bW1bJ1aaX2bY2bappendbbbconsabbmapaabbnilbFULLbenchmarks/applicative/Applicative_05__Ex3Lists.atrs