Found a path for the intersection of "recursive equality" and "enabled equality between":
define implicit EnabledEqualityBetween instances for, in this initial case, Options
if there's an EnabledEqualityBetween in force for their element types.