<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><p dir="ltr">1. If a pattern synonym is defined in the same module as one of the type constructors in the type of thing it matches, then it should be possible to export it "attached" to one or more of those constructors</p></blockquote><div>See <a href="https://ghc.haskell.org/trac/ghc/ticket/10653">https://ghc.haskell.org/trac/ghc/ticket/10653</a></div><div>Already implemented by Matthew Pickering, and will be in GHC 8.0.</div><div><br></div><div>I don't know about your second issue.</div></div><br></div></div>