ghc 8.0.1 has a problem with nested pattern synonyms which we are using: pattern N = Atom "" pattern Kind = Atom "Kind" :& N https://ghc.haskell.org/trac/ghc/ticket/12007 This isn't something I think we should fix, just something to be aware of
ghc 8.0.1 has a problem with nested pattern synonyms which we are using:
pattern N = Atom ""
pattern Kind = Atom "Kind" :& N
https://ghc.haskell.org/trac/ghc/ticket/12007
This isn't something I think we should fix, just something to be aware of