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