Use a custom proxy type in in Control.Lens.At for compatibility with old
GHC.