[Haskell-cafe] type variable is ambiguous in a non-injective type family

Henry Laxen nadine.and.henry at pobox.com
Tue Jul 30 12:19:57 UTC 2019

Dear Anthony,

Yes, you are 100% correct as to how I arrived at my "pickle."  I changed my
code to reflect your suggestion, and removed a bunch of GHC extensions, and
everything is working now.  Thanks so much for taking the time to explain
everything so clearly.

Best wishes,
Henry Laxen

More information about the Haskell-Cafe mailing list