(Functor f, Symmetric Hask p) => Symmetric Hask (Of f p) |

(Functor f, Braided Hask p) => Braided Hask (Of f p) |

(Copointed f, PCopointed p) => PCopointed (Of f p) |

(Pointed f, PPointed p) => PPointed (Of f p) |

(Functor f, QFunctor p Hask Hask) => QFunctor (Of f p) Hask Hask |

(Functor f, PFunctor p Hask Hask) => PFunctor (Of f p) Hask Hask |

(Functor f, Bifunctor p Hask Hask Hask) => Bifunctor (Of f p) Hask Hask Hask |

(Functor f, Functor (p a)) => Functor (Of f p a) |

(Pointed f, Pointed (p a)) => Pointed (Of f p a) |

(Copointed f, Copointed (p a)) => Copointed (Of f p a) |