newtype notes