inlineData :: (Ord c, Ord tc, Ord tv)
  => TcEnv v c tc tv -> Set tc -> Map tc [(Int, DataPat c tc tv)]
inlineData env baseTcs =
  Map.map intWeights . Map.mapWithKey (inlineTc env baseTcs) $ tyConEnv env
inlineData :: (Ord c, Ord tc, Ord tv)
  => TcEnv v c tc tv -> Set tc -> Map tc [(Int, DataPat c tc tv)]
inlineData env baseTcs =
  Map.map intWeights . Map.mapWithKey (inlineTc env baseTcs) $ tyConEnv env
inlineData env baseTcs =
  Map.map intWeights . Map.mapWithKey (inlineTc env baseTcs) $ tyConEnv env