Adding drop and take methods.
Adding tuples.
Adding a documentation and moving arb and shrink to check as this is where they're used.
Adding more documentation.
adding equality.
Adding object testing.