roots = [ "Spec.NumInstanceLiteral.NumInstanceLiteral.zero" , "Spec.NumInstanceLiteral.NumInstanceLiteral.Modulo1" ] type-class-roots = false