Use a Representaional coercion for data families