Functor f => Functor (T f) | |

Foldable f => Foldable (T f) | |

Traversable f => Traversable (T f) | |

Show f => Show (T f) | |

(Traversable f, Reverse f) => Reverse (T f) | |

(Insert f, Sort f) => Sort (T f) | |

Repeat f => Repeat (T f) | |

Zip f => Zip (T f) | |

(Cons f, Empty f) => Cons (T f) | |

Empty (T f) | |

Tails f => Tails (T f) | |

RemoveEach f => RemoveEach (T f) | |

Insert f => Insert (T f) | |

(Eq a, Eq (f a)) => Eq (T f a) | |

(Ord a, Ord (f a)) => Ord (T f a) | |

(Show f, Show a) => Show (T f a) | |

(Arbitrary f, Arbitrary a) => Arbitrary (T f a) | |