:7:15: error: Conflicting family instance declarations: AND HTrue HTrue = HTrue -- Defined at :7:15 AND HTrue HTrue = HFalse -- Defined at :20:15