N[Subtype Metaprogramming] is N[Mostly Harmless]

Inheritance go brrrrrrrr... (ab)using types to write programs.