U11ttslengthLandttXzeroscons0isNatttisNatisNatListisNatisNatisNatIListisNatListisNatIListttisNatIListandisNatisNatListttisNatListandisNatlengthnil0lengthconsNU11andisNatListU111tt0s1length1and1zeros0cons100isNat0isNatList0isNatIList0nil0FULL./TRS/TRCSR/LengthOfFiniteLists_nokinds_L.trs