let cardinal set = fold (fun _ n -> n+1) set 0