Coerce allows defining coercions between data types