如何导入特定的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))

因为PortNumber似乎是PortID的构造函数。另一个导入只导入所有Network，因此找到了PortNumber。