_interface_ MkId 1
_exports_
MkId  mkDataConWorkId ;
_declarations_
1 mkDataConWorkId _:_ Name.Name -> DataCon.DataCon -> Var.Id ;;