This package provides Fold and Getter that are fully compatible with lens  the downside is that this package depends on contravariant  which in its turn depends on a lot of other packages (but still less than lens)