Build History for pull/143

Fixups

Remove [`Msg of string] from Tar_unix.decode_error Co-authored-by: Calascibetta Romain <romain.calascibetta@gmail.com> Co-authored-by: Reynir Björnsson <reynir@reynir.dk>

Seek returns unit, improve documentation The position is not always possible to keep track of, and is not very useful to begin with. The documentation better explains the lightweight higher kinded types trick. Co-authored-by: Calascibetta Romain <romain.calascibetta@gmail.com> Co-authored-by: Reynir Björnsson <reynir@reynir.dk>

Partially implement tar_eio, stub out remainder

Minor: qualify opens, fix tests

Add a comment to explain the hkp trick

Implement the high kind polymorphism to fix the lwt_unix layer

Implement Tar_gz.gzipped : _ Tar.t -> _ Tar.t We can list .tar.gz archives that consists of directories and empty files \o/ files with content is not possible /o\

Keep the bind as is and Tar_gz does not require the run function (/cc @reynir)

Purify fold and move it into Tar with a GADT, use it then for Tar_gz which will produce an other GADT value and Tar_{,lwt_}unix which evaluate our GADT