我最近发布了一个关于语法2.0关于共享定义的问题。我已经有这个工作在GHC 7.6:然而，GHC 7.8希望- xallowambiguousttypes使用该签名进行编译。或者，我可以用这是Synt