簡単な質問です。
これはコンパイルされます:
module Example where
import Network
port :: PortID
port = PortNumber 3001
そして、これはしません:
module Example where
import Network (PortID, PortNumber)
port :: PortID
port = PortNumber 3001
GHC は次のように述べています。
Example.hs:6:8: Not in scope: data constructor `PortNumber'
なんで?