typelevel/typelevel.github.com — pull request #19 by S11001001 (2014-03-03 04:47:06+00:00)
Title: New blog post: "When can Liskov be lifted?"

Woohoo subtyping!