lens-family re-exports, with "Lens.Family2.State.Strict"