haskell - 如何导入特定的 PortNumber 构造函数

Question

简单的问题。

这编译：

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'

为什么？

Answer 1

它一定要是

import Network (PortID(PortNumber))

asPortNumber似乎是PortID. 另一个导入只是导入所有，Network因此PortNumber被找到。