wrong type inference for effect

[objmagic]

open this issue just as a reminder

For file test.ml:

module M = struct
  effect E : int * string -> unit
end

ocamlc -i test.ml gives:

module M : sig effect E : string * int -> unit end

I can confirm this is not a printer bug

[kayceesrk]

Fixed by f2a7cba.