revive toFunJac
Additive instances for None, Id, Tuple, Triple