Hkt.Make_store
module T : sig ... end
type ('k, 'v) s = ('k, 'v) T.t
type t
val inj : ('a, 'b) s -> ('a, 'b, t) Sigs.store
val prj : ('a, 'b, t) Sigs.store -> ('a, 'b) s