Strong arrows: a new approach to gradual typing