cr: what if I could split my unikernel into even smaller unikernels?
AAA_awright: WHY JUST WHY
AAA_awright: WHY JUST WHY
cr: Leo White designed a system for ad-hoc polymorphism in OCaml based on using modules as type-directed implicit parameters. The design not only supports implicit modules, but also implicit functors (that is, modules parameterised by other module types) to permit the expression of generic modular implicits in exactly the same way that functors are used to build abstract data structures.