add lens and quickcheck