error in your article? about meaning of safe/unsafe in "foreign import"

[Peter Simons]

Duncan Coutts writes:

 > So to sumarise the pairings:
 >       * you _must_ make a safe call to an unsafe foreign function
 >       * you _may_ make an unsafe call to a safe foreign function
 >
 > It's a contravariance :-)

I'd use a slightly different term. Declaring a function that
needs special precaution to be called as "safe", and
declaring a function that is safe to be called anytime as
"unsafe" is contra-intuitive. ;-)

Peter