Constructive deconstruction of subtyping

alistair.cockburn.us