declare fun {Member Elem Ls} {FoldR Ls fun {$ H Result} H == Elem orelse Result end false } end fun {MemberLong Elem Ls} case Ls of H|T then H == Elem orelse {MemberLong Elem T} [] nil then false end end