Fixed the type for ::`->().
Fixed the type for `->() some more.