Arb instance for Functors