import DataCon
import TyCon
import Type
-import OccName
import Name
import Util
import MonadUtils
rec_flag -- FIXME: is this ok?
False -- FIXME: no generics
False -- not GADT syntax
+ NoParentTyCon
(Just $ mk_fam_inst pdata vect_tc)
where
orig_name = tyConName orig_tc