I understand your example. Still it's useless if we need the value of the multiplied vectors, more than just a list of their lengths after the operation, unless i missed something.<br><br>At any rate; I'm trying to create a representation of mathematical sets. The tricky part being, they're precisely capable to handle any kind of content, including themselves. But I think I went too overboard, trying to handle the idea of sets that could contain strictly any type (at once). In practice, the basic elements will be rather similar, and known enough at least so that I can merely use ADTs for the various "types" of elements, and same for sets themselves.<br>If needed I can create two instances of monoids, one for And, one for Or, using newtype wrappers. It's vaguely a hassle but anyway it'll only be useful if i have to create functions that could work on both monoids (separately), which would be interesting enough so i don't merely duplicate the job.<br>There's also the possibility i need to use existing functions already using monoids...<br>For now I think i'll be ok with ADTs and one common wrapper for all elements.<br><br>Thanks still, I'll think about your idea, it's rather interesting.<br><br>Le mardi 24 mai 2016, Daniel Bergey <<a href="mailto:bergey@alum.mit.edu">bergey@alum.mit.edu</a>> a écrit :<br>> On 2016-05-23 at 12:06, Silent Leaf <<a href="mailto:silent.leaf0@gmail.com">silent.leaf0@gmail.com</a>> wrote:<br>>> Say there's a class, many types that can instantiate it. Then, i in fact need to be able<br>>> to concatenate (mappend would be ideal!), make lists of values of different types, all<br>>> instantiating the class.<br>><br>> In most cases, when Haskell beginners want to make a list that contains<br>> several types from a single type class, there's a better way to organize<br>> the code.  If you post your code, I'll try to suggest a specific<br>> solution.<br>><br>> In general, try to find a simple data type that captures the same fields<br>> & functions as an unknown type that is part of the type class.  Here's<br>> an example.<br>><br>> We have a type class for vectors in a metric space, and instances for<br>> 2D, 3D, etc.<br>><br>>> class Metric v where<br>>>     length :: v -> Double<br>>>     (*^) :: Double -> v -> v<br>><br>> This class has the law:  s * length v == length (s *^ v)<br>><br>> Instead of a heterogeneous list [ V2 1 2, V3 3 4 5, V4 6 7 8 9], we make<br>> a list that just has the length of each vector, and lets us multiply<br>> those lengths by a scalar.  In this case, we don't even need to write a<br>> new data type, the type is simply Double.  We can write:<br>><br>>> [ length (V2 1 2), length (V3 3 4 5), length (V4 6 7 8 9) ]<br>><br>> And (*) gives us what Metric does with (*^).  Of course, with your<br>> class, it's probably not so obvious how to transform the class this way.<br>><br>> It's certainly possible to make a record with functions as members,<br>> moving in the object-oriented direction.  Existential types (with a<br>> class constraint inside the data constructor) are even more rarely used.<br>><br>> cheers,<br>> bergey<br>>