Derive Typeable and Eq instances for TMVar, TChan (and TArray)

Bas van Dijk v.dijk.bas at
Sat Apr 10 09:53:20 EDT 2010


I noticed the stm types TMVar and TChan don't have Typeable and Eq
instances while their MVar counterparts do have them. I propose to add

The patch bundle included in the ticket also contains patches that add
these instances to TArray. However I'm not sure if it makes sense to
have an Eq instance for TArray so it's probably wise to have some
discussion on this.



More information about the Libraries mailing list