Constructive deconstruction of subtyping
alistair.cockburn.us