Hi, This is a tiny proposal to generalize Foreign.Marshal.Utils.maybeNew[1] from: maybeNew :: ( a -> IO (Ptr a)) -> (Maybe a -> IO (Ptr a)) to: maybeNew :: ( a -> IO (Ptr b)) -> (Maybe a -> IO (Ptr b)) so that it becomes consistent with maybeWith: maybeWith :: ( a -> (Ptr b -> IO c) -> IO c) -> (Maybe a -> (Ptr b -> IO c) -> IO c) Discussion period: 2 weeks. Bas [1] http://hackage.haskell.org/packages/archive/base/latest/doc/html/Foreign-Mar...