Oh yeah, that’s a great catch. I had a few default extensions enabled in ghci, including OverloadedStrings. I’ll get some errata up soon with the set of default extensions and some additional explanation. Thanks!
1 Like