This member is added by an implicit conversion from RecListFOps[T, A] to
NatOps[RecListFOps[T, A]] performed by method NatOps in matryoshka.instances.fixedpoint.
This conversion will take place only if an implicit value of type Aux[RecListFOps[T, A], Option] is in scope and at the same time an implicit value of type Aux[RecListFOps[T, A], Option] is in scope.
This member is added by an implicit conversion from RecListFOps[T, A] to
NatOps[RecListFOps[T, A]] performed by method NatOps in matryoshka.instances.fixedpoint.
This conversion will take place only if an implicit value of type Aux[RecListFOps[T, A], Option] is in scope and at the same time an implicit value of type Aux[RecListFOps[T, A], Option] is in scope.
This member is added by an implicit conversion from RecListFOps[T, A] to
NatOps[RecListFOps[T, A]] performed by method NatOps in matryoshka.instances.fixedpoint.
This conversion will take place only if an implicit value of type Aux[RecListFOps[T, A], Option] is in scope and at the same time an implicit value of type Aux[RecListFOps[T, A], Option] is in scope.