Hello, I'm trying to understand what happens when a typeclass constraint with an uninstantiated type variable gets duplicated. Does the type checker treat the separate copies of the constraint as two constraints (with the same type variable) which are checked separately? Or does the type checker only consider one constraint which is checked (simultaneously) in different contexts? Also does it matter if the constraints are on datatype, or even gadt, constructors rather than functions? thanks, Jeff --- This e-mail may contain confidential and/or privileged information. If you are not the intended recipient (or have received this e-mail in error) please notify the sender immediately and destroy this e-mail. Any unauthorized copying, disclosure or distribution of the material in this e-mail is strictly forbidden.