Class AlgebraicDataTypes.CasesMatchers.TotalMatcher_Adt