A quickcheck for at

The `at' function produces `Just` when the index is within the list, and
`Nothing` otherwise.