[Haskell] 20th ACM MSWiM 2017 - Miami Beach, FL

=== Call-For-Papers: 20th ACM MSWiM 2017 Miami Beach, Florida, Nov 21 -25, 2017 http://www.mswimconf.com/2017 IMPORTANT: Submission deadline: May 20th 2017

[Haskell] DEADLINE EXTENDED: IEEE DS-RT 2017 - Rome, Italy

Please accept our apologies if you have received multiple copies. Call for Papers - DS-RT 2017 21st

[Haskell] ACM MobiWac 2017, Miami Beach, USA. CALL FOR PAPERS

** We apologize if you receive multiple copies of this message ** == The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017)

[Haskell] Call for Papers: 20th ACM MSWiM 2017 - Miami Beach, FL

20th ACM MSWiM 2017 - Miami Beach, FL === Call-For-Papers: 20th ACM MSWiM 2017 Miami Beach, Florida, Nov 21-25, 2017 http://www.mswimconf.com/2017 IMPORTANT: Submission deadline: May 20th 2017

[Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA

** We apologize if you receive multiple copies of this message ** == The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) November 21 - 25, 2017 - Miami Beach, USA

[Haskell] CFP: IEEE DS-RT 2017 (October 18-20, Rome, Italy)

Please accept our apologies if you have received multiple copies. Call for Papers - DS-RT 2017 21st IEEE/ACM

Re: Superclass Equality constraints cp FunDeps

Now that I've got the bit between my teeth ... Superclass constraints are not subject to the Paterson conditions. IOW I can write superclass constraints that are not permitted as instance constraints. (Superclass constraints are required to be non-cyclic, which ensures they're terminating.) Is