mapFnilnilmapFconsxxsconsFxmapFxspsnilnilpsconsxxsconsxpsmapynat+xyxsxnatxslistFnatnatnillistconsnatlistlist+natnatnatmapnatnatlistlistpslistlistFULL.