extractNewtypes :: Core.Core -> Newtypes
extractNewtypes core
  = newtypesNew (concatMap extractTypeDefGroup (Core.coreProgTypeDefs core))
extractNewtypes :: Core.Core -> Newtypes
extractNewtypes core
  = newtypesNew (concatMap extractTypeDefGroup (Core.coreProgTypeDefs core))
extractNewtypes core
  = newtypesNew (concatMap extractTypeDefGroup (Core.coreProgTypeDefs core))