Try using scoped type variables, and explicitly declare the types for pack and unpack at the call site:

instance (Newtype a b, Newtype b c) => Newtype a c where

  pack = (pack :: b -> c)

           . (pack :: a -> b)

Did I get those types right?  They look free to me.