yes, ocaml has applicative functors, as karl repeatedly iterated in HOT with reference to "those crazy french."

william confirms that with type is exactly the same as wheretype. and yeah, it solves the diamond problem and makes the weird "sharing" construct redundant.

it becomes apparent that most of the complication is necessary.

i think it really depends what you mean by necessary.

argh so sleepy articulation power.. fading...