foldrFxnilxfoldrFxconsyysFyfoldrFxyslengthxsfoldrxnatnnatsn0xsxnatynatFnatnatnatxslistyslist0natnillistconsnatlistlistfoldrnatnatnatnatlistnatlengthlistnatsnatnatFULL.