:3:15: error: Conflicting family instance declarations: A Int = () -- Defined at :3:15 A Int = Bool -- Defined at :4:15