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