The talk explores the recursive structure of Diamond Architecture.
This talk aims to equip the audience with the minimum required bagage to get comfortable working with contravariance.
I propose that we can extend Mirrors to operations, and use the most natural DSL of all - plain trait definitions.