Hello, I am reading some extant Haskell code that uses Posix signals.... I am confused by the motivation of the following ... type Signalhttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos...= CInthttp://hackage.haskell.org/packages/archive/base/3.0.1.0/doc/html/Foreign-C-... nullSignalhttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos...:: Signalhttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos... internalAborthttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos...:: Signalhttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos... sigABRThttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos...:: CInthttp://hackage.haskell.org/packages/archive/base/3.0.1.0/doc/html/Foreign-C-... realTimeAlarmhttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos...:: Signalhttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos... sigALRMhttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos...:: CInthttp://hackage.haskell.org/packages/archive/base/3.0.1.0/doc/html/Foreign-C-... busErrorhttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos...:: Signalhttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos... sigBUShttp://hackage.haskell.org/packages/archive/unix/2.3.0.0/doc/html/System-Pos...:: CInthttp://hackage.haskell.org/packages/archive/base/3.0.1.0/doc/html/Foreign-C-... OK .. "type" is really just a synomym and doesn't invoke type checking like "data" type declarations do .. so why don't we have all the "CInts" substituted by "Signal"? I.e. what did I miss? Thanks, Vasili