newtypesFind :: Name -> Newtypes -> DataInfo
newtypesFind name syn
  = case newtypesLookup name syn of
      Nothing -> failure ("Kind.Newtypes.newtypesFind: unknown newtype: " ++ show name)
      Just x  -> x


-- | Extract data infos from core
newtypesFind :: Name -> Newtypes -> DataInfo
newtypesFind name syn
  = case newtypesLookup name syn of
      Nothing -> failure ("Kind.Newtypes.newtypesFind: unknown newtype: " ++ show name)
      Just x  -> x


-- | Extract data infos from core
newtypesFind name syn
  = case newtypesLookup name syn of
      Nothing -> failure ("Kind.Newtypes.newtypesFind: unknown newtype: " ++ show name)
      Just x  -> x


-- | Extract data infos from core