> I am not sure what the implications of unsafe are for the type system. There are no implications, that's the point. > the unsafeness of unsafePerformIO and

> I am not sure what the implications of unsafe are for the type system. There are no implications, that's the point. > the unsafeness of unsafePerformIO and importing an FFI function as a pure function are not reflected in the type in Haskell Yes, that is correct behaviour; if it was reflected in the type it'd be call safePerformIO.