Computing with Coercions