Allow lens-4.2, semigroups-0.15