uTake2ttconsNuLengthttslengthLandttTTisNatIListisNatListisNatttisNatisNatisNatisNatListisNatIListttisNatIListandisNatisNatIListisNatListttisNatListandisNatisNatListisNatListandisNatisNatIListzeroscons0take0ILuTake1isNatIListuTake1ttniltakesMconsNuTake2andisNatandisNatisNatIListlengthconsNuLengthandisNatisNatList