.ghci: depend on lens
.ghci: depend on lens

If you don't have lens installed *and* don't want to install it, you can
just comment out the line (locally). But let's keep the default .ghci
useful for (what I guess is) the most typical setup.

Blaisorblade/pts,Toxaris/pts