Unify style in Arbitrary typeclass definitions