:: a -> (a -> b) -> b -package:diagrams-lib -package:quaalude -package:lens-family-core -package:funcmp package:sbv
Field access, inspired by the lens library. This is merely reverse
application, but allows us to write things like (1, 2)^._1
which is likely to be familiar to most Haskell programmers out there.
Note that this is precisely equivalent to _1 (1, 2), but
perhaps it reads a little nicer.