Initial draft: "When can Liskov be lifted?"
Formatting; discuss contravariance.
Further formatting; several links.
One more link.
Define "operational identity".
One more bit of formatting.
A Leibniz trick for reasoning about GADTs.
Syntax
On the relationship of representation and subtyping; oddities.
A link to ISet, for edification.
Scala code formatting.
More language cleanup.
date of publication
Merge pull request #19

New post "When can Liskov be lifted?"