RFC: Coercible and HasPrefix for Zero Cost Coercions