Test.SmallCheck.Lens.Lens