foldlFxnilxfoldlFxconsylfoldlFFxylpluscxnatynatplusxysumlfoldlplusc0lxnatynatFnatnatnatllist0natplusnatnatnatnillistconsnatlistlistfoldlnatnatnatnatlistnatsumlistnatpluscnatnatnatFULL.