Desc model: followed by the generic proof that map (f . g) = map f . map g
Desc model: followed by the generic proof that map (f . g) = map f . map g
kwangkim/pigment,brixen/Epigram,kwangkim/pigment,kwangkim/pigment