On Fri, 30 Nov 2012, Edward Kmett wrote: > You can add lens to the list of packages that had to define their own (for doctest purposes). ;) I grepped for isLeft and isRight in lens-3.6 but did not find them.