Why are opaque C pointers not imported as distinct types?

Some history and apologies:

11 Likes