Quando si può specificare una lista di esportazione vuota può essere utile?

Question

E 'possibile esportare nessun nome di un modulo specificando solo un paio di parentesi come la lista di esportazione:

module MyModule() where 

In quali scenari questo sarebbe utile? Per quanto ho capito, qualsiasi importazione di file MyModule non sarà in grado di utilizzare alcuna funzione o tipo dichiarato all'interno di MyModule. A questo punto sembra una caratteristica inutile del langauge, ma suppongo che sia lì per un motivo.

Answer 1

Tale modulo continuerà ad esportare qualsiasi istanza di classe in essa definita.

module A where 

class Foo f where 
    foo :: f 

data Bar = Bar deriving (Show) 

---

module B() where 

import A 

instance Foo Bar where 
    foo = Bar 

---

module C where 

import A 
import B -- won't compile without this import! 

main = print (foo :: Bar)