ekmett/lens — pull request #332 by tel (2013-09-03 03:08:54+00:00)
Title: The `As a` type is `Equality' a a` and is convenient for constraining polymorphism.

Idea due to @shachaf. I'm just writing the patch.