Cofree Show
reduce imports