addtruexxsaddandisNatxisListxsxConsttxsisListConsxxsisListxsisListniltrueisNatsxisNatxisNat0trueandtruetruetrueandfalsexfalseandxfalsefalseadd3true0and2isNat1isList1Cons2tt0nil0s100false0FULLenger-nonloop-addTrue.trs