U11ttslengthLU31ttconsNandttXzeroscons0U21ttnilisNatttisNatisNatListisNatisNatisNatIListisNatListisNatIListttisNatIListandisNatisNatListttisNatListandisNatlengthnil0lengthconsNU11andisNatListtake0ILU21isNatIListtakesMconsNU31andisNatIListU111tt0s1length1U311cons1and1zeros000U211nil0isNat0isNatList0isNatIList0take2FULL./TRS/TRCSR/OvConsOS_nokinds_L.trs