Generic wrappers are type safe and support modular reasoning. ... Furthermore, only direct language-level support can provide the desired machine check-able safety using types. Hence, composition mechanisms in programming languages are relevant, even though components are binary units.
