Hi Simon,
Thanks for the clarification, I attached the code to that ticket. Does this
mean improvements in this area are supposed to land in 7.10?
Semi-relatedly, before attempting the current code (which at least compiles), I
had a few other attempts and I was hoping you (or other readers) mig
This is a bug in 7.8.3: https://ghc.haskell.org/trac/ghc/ticket/9433
You should get this error (and do in HEAD):
Sock.hs:28:5:
Type family 'Readable' should have 1 argument, but has been given none
In the equations for closed type family 'Foo'
So your program is indeed wrong, but the e