TP wrote: > Where are these examples that can help me to write my instance? > I have tried to read the source of the implemented instances in > data.typeable, not so easy for me.
Ok, by doing a better search on Google ("instance typeable " blog), I have found interesting information: http://blog-mno2.csie.org/blog/2011/12/24/what-are-data-dot-typeable-and-data-dot-dynamic-in-haskell/ and especially: http://hauptwerk.blogspot.fr/2012/11/coming-soon-in-ghc-head-poly-kinded.html """ In this new class, we are no longer restricted to datatypes with a maximum of 7 parameters, nor do we require the parameters to be of kind *. """ So, I have to try that. I will give some feedback here (from my beginner point of view). TP _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe