Checksums

Yes, if `t` is exposed as `Cs.t option`, which is better.