# Documentation

data T a

Functor T | |

Applicative T | |

Foldable T | |

Traversable T | |

(C a, C a v) => C a (T v) | |

(C a, C a v) => C a (T v) | |

(Ord a, C a v) => C a (T v) | |

(Ord a, C a v) => C a (T v) | |

Sqr a v => Sqr a (T v) | |

Sqr a v => Sqr a (T v) | |

(C a, Sqr a v) => C a (T v) | |

(C a, Sqr a v) => C a (T v) | |

C a v => C a (T v) | |

C a v => C a (T v) | |

Eq a => Eq (T a) | |

Show a => Show (T a) | |

Arbitrary a => Arbitrary (T a) | |

Storable a => Storable (T a) | |

C a => C (T a) | |

C a => C (T a) | |

C a => C (T a) |