Make.Easy
val make_dyn_tag : string -> ( 'a -> t ) * ( t -> 'a ) * 'a tag
val make_dyn : string -> ( 'a -> t ) * ( t -> 'a )
val inj : 'a -> 'a tag -> t
val prj : t -> 'a tag -> 'a option