Type-sharing (equality) through applicative functor instances isn't fine.
marcoonroad opened this issue · 1 comments
marcoonroad commented
Figure out a workaround to get rid of applicative functor semantics in OCaml. In some way, it breaks encapsulation, and in this package, it will give free access to encoded messages when the Message functor is exposed to anybody.
marcoonroad commented
Since 4.02, OCaml also supports generative functors.