newtype-zero documents