Free.narrow
Cofree