mapFnilnilmapZconsUVconsZUmapZVcompIJX1IJX1twiceZ1compZ1Z1FaaZaaUaVbIccJccX1cZ1cccompccccccconsabbmapaabbnilbtwiceccccFULLbenchmarks/applicative/AotoYamada_05__026.atrs