When is -XAllowAmbiguousTypes appropriate?
I don’t see any published version of syntactic whose signature for sugarSym uses those exact type names, so I’ll be using the development branch at commit 8cfd02^, the last version which still used those names. So, why does GHC complain about the fi in your type signature but not the one for sugarSym? The documentation … Read more