The standard FFI says that newtypes are automatically unwrapped in
argument and result types.  This test checks that it also happens
for newtype-wrapping of the IO monad itself, a recent change to
GHC.