CCKlist.product and product_with (fair cartesian product)
CCKlist infix operators for monad, applicative...
CCKList: group,uniq,sort,sort_uniq,repeat and cycle