Allow derivation of instances for Free and LiftAFree using algebraic-classes.