Irmin_type
module Type : sig ... end
Yet-an-other type combinator library
module Witness : sig ... end