; fix <- reifyFixity name
; return (TH.DataConI (reifyName name) ty (reifyName (dataConTyCon dc)) fix) }
; fix <- reifyFixity name
; return (TH.DataConI (reifyName name) ty (reifyName (dataConTyCon dc)) fix) }
= do { ty1 <- zonkTcType ty -- Make use of all the info we have, even
-- though it may be incomplete
; ty2 <- reifyType ty1
= do { ty1 <- zonkTcType ty -- Make use of all the info we have, even
-- though it may be incomplete
; ty2 <- reifyType ty1