Leo White

Since functors with implicit parameters would have been made pure we can allow applications of such functors to count as values. So if you can make the parameters of the...

I agree this would be a good idea. Syntactically, what about: ``` type showable = Show : {S: SHOW} -> S.t -> showable;; let f (Show{M}(x)) = show x ```

> Can implicit constructor arguments without value components be optimized away so that they don't have a runtime representation? I'm not sure, but probably not. If you made the module...

This is an interesting case. I hadn't really considered wanting to recursively use an instance within itself. It seems that recursive functors should provide support for this, but recursive functors...

`grow1` is fixed by the addition of forward type propagation (#19)

I think the only change required for this is to make [`CrcMap`](https://github.com/ocamllabs/opam-doc/blob/master/src/opam-doc-index/index.ml#L9) use the new type instead of the old one. > I'm not sure what the behavior of opam-doc...

The way to do this in the short-term is probably to check for a cmi with the same name and md5 has been installed somewhere in the "doc" switch before...

It is indeed a Unicode apostrophe. I don't know where the problem is, but it might be easier to just change the apostrophe.

Note that it is not very easy to have /package/module/submodule/... urls in the general case because a module can include a module which includes a module which adds a submodule...

I think that I want to switch to urls of the form: packages/name/name.version/docs/#Module.Submodule