implicit defnestedEvaluationReportableTerm[N <: String, I, O, A <: HList, P]: NestedEvaluation[I, O, ::[ReportableTerm[N, I, O, A, P], HNil]] { type Out0 = shapeless.::[cats.data.Validated[io.taig.gandalf.report.ReportableError[N,A,P],O],shapeless.HNil] }