Parameter InjectImperativeMaps.J

val decode : M.key -> I.t