-record(generic_interface, { interface :: ranged_int@interface:interface(ranged_int@builtin@generic:ranged_int(any()), any()) }).