Cómo importar el constructor PortNumber específico

Question

Pregunta simple.

Esto compila:

module Example where 

import Network 

port :: PortID 
port = PortNumber 3001 

Y esto no es así:

module Example where 

import Network (PortID, PortNumber) 

port :: PortID 
port = PortNumber 3001 

GHC dice:

Example.hs:6:8: Not in scope: data constructor `PortNumber' 

¿Por qué?

Answer 1

Tiene que ser

import Network (PortID(PortNumber)) 

como PortNumber parece ser un constructor de PortID. La otra importación simplemente importa todos Network y, por lo tanto, se encuentra PortNumber.