kanetw authored Dec 07, 2015 and Ben Gamari committed Dec 07, 2015

Whenever a data instance is exported, the corresponding data family
is exported, too. This allows one to write

```
     -- Foo.hs
     module Foo where

     data family T a

     -- Bar.hs
     module Bar where

     import Foo

     data instance T Int = MkT

     -- Baz.hs
     module Baz where

     import Bar (T(MkT))
```

In previous versions of GHC, this required a workaround
explicit export list in `Bar`.

Reviewers: bgamari, goldfire, austin

Reviewed By: bgamari, goldfire

Subscribers: goldfire, thomie

Differential Revision: https://phabricator.haskell.org/D1573

GHC Trac Issues: #11164