ekmett/lens — pull request #372 by jfischoff (2013-12-23 18:16:09+00:00)
Title: added lenses and prisms for the TH types

I checked that it compiles with 7.4.2, 7.6.2 and HEAD.