Podczas określania pustej listy eksportu może być przydatna?

Question

Możliwe jest eksportowanie żadnych nazw modułu przez podanie tylko parę nawiasie jako listy eksportowej:

module MyModule() where 

W której scenariusze byłoby to przydatne? O ile rozumiem, każdy plik importujący MyModule nie będzie mógł korzystać z żadnych funkcji ani typów zadeklarowanych w MyModule. W tym momencie wydaje się bezużyteczną cechą języka, ale przypuszczam, że jest to z jakiegoś powodu.

Answer 1

Moduł taki nadal będzie eksportować wszystkie zdefiniowane w nim wystąpienia klasy.

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)