Fixed: didn't actually use arrays in Arbitrary generator