On Tue, Mar 16, 2010 at 11:15 AM, Henning Thielemann wrote:

newtype T3 a = T3 (a,a,a)

which could well be

data T3 a = T3 a a a

I chose that specific representation just because at the end I want to use normal tuples. I thought this way was easier for "boxing" an "unboxing"

Are these types used for vector computations or what application do you have in mind?

I didn't have any specific application for the library. One day I just wanted to do an fmap with a tuple and somebody in #haskell suggested join (***) Of course this only works for binary tuples. I thought this would be a good excuse to play with template-haskell and give instances to some of the type classes I learnt about in the Typeclassopedia. I found it useful for vector computations. But aggregating with the Foldable instance is also handy.

Then again, is tuple-instance still an appropriate name?

"There are only two hard things in Computer Science: cache invalidation and naming things" - Phil Karlton I'm open to suggestions :-) Diego Echeverri