Frédéric Bour

Thanks :), enjoy your vacation too!

I like this too. I am not sure to understand the purpose of `M.?`. Is it a short-hand for `let open implicit M in _` like `M.(_)` is a shorthand...

And because we might want to share instances for performance reason. E.g. if you use `Show_list(Show_int)` a lot, it's better to hoist the instance as early as possible. Same for...

After https://github.com/ocamllabs/ocaml-modular-implicits/commit/b81ea304825810f5ea0367bb95ca725c6e707852 fix, I think it is the same issue. I don't know how these unifications should be handled. The code dealing with this is: [typeimplicit.ml:165](https://github.com/ocamllabs/ocaml-modular-implicits/blob/b81ea304825810f5ea0367bb95ca725c6e707852/typing/typeimplicit.ml#L165). Here, `tyvar` is a...

We spend some time looking at that issue with @lpw25 . The unify error is likely because of unification with a univar which was put in the constraint list. During...

Leo suggested we introduce a new constructor for type variables which are allowed to unify with some univars, something like: ``` ocaml Tpolyvar of string list (* allowed univars *)...

I am not sure what the rule would be. In case of ambiguity with syntactically equal paths, ignore and always use the most recent one?

Hmm, implicits in class expressions are not supported at all.

Both examples work (on my branch) when annotating x: ``` let rec grow1 : (implicit Show : SHOW) -> Show.t -> 'a = fun (implicit Show : SHOW) (x :...

I don't know how to interpret search for an abstract module type. Of course, a clean error message should be provided. Or maybe there is a cleaner way of handling...