# Documentation

`Copointed`

does not require a `Functor`

, as the only relationship
between `copoint`

and `fmap`

is given by a free theorem.

Copointed Dual | |

Copointed Sum | |

Copointed Tree | |

Copointed Min | |

Copointed Max | |

Copointed First | |

Copointed Last | |

Copointed Identity | |

Default m => Copointed ((->) m) | |

Copointed ((,) a) | |

Copointed m => Copointed (IdentityT m) | |

Copointed ((,,) a b) | |

Copointed w => Copointed (StoreT s w) | |

Copointed w => Copointed (StoreT s w) | |

Copointed w => Copointed (StoreT s w) | |

Copointed w => Copointed (EnvT e w) | |

Copointed w => Copointed (EnvT e w) | |

Copointed (DiscontT s w) | |

Copointed (DiscontT s w) | |

Copointed (DiscontT s w) | |

(Copointed p, Copointed q) => Copointed (Coproduct p q) | |

Copointed m => Copointed (WriterT w m) | |

Copointed m => Copointed (WriterT w m) | |

(Copointed p, Copointed q) => Copointed (Compose p q) | |

Copointed ((,,,) a b c) |