I would imagine adding some types with core.typed would provide benefits, but there is such a vast difference between incrementally adding types with core.typed

I would imagine adding some types with core.typed would provide benefits, but there is such a vast difference between incrementally adding types with core.typed and haskell, I fear there may be more differences than similarities here?