Congruence Bool | |

Congruence Char | |

Congruence Int | |

Congruence Int8 | |

Congruence Int16 | |

Congruence Int32 | |

Congruence Int64 | |

Congruence Integer | |

Congruence Ordering | |

Congruence Word | |

Congruence Word8 | |

Congruence Word16 | |

Congruence Word32 | |

Congruence Word64 | |

Congruence () | |

Congruence α => Congruence [α] | |

Congruence α => Congruence (Maybe α) | |

Congruence α => Congruence (Set α) | |

Congruence α => Congruence (Tree α) | |

Congruence α => Congruence (Seq α) | |

(Congruence α, Congruence β) => Congruence (Either α β) | |

(Ix i, Congruence i, Congruence α) => Congruence (Array i α) | |

(Congruence α, Congruence β) => Congruence (Map α β) | |

(Congruence a, Congruence b, Congruence c, Congruence d) => Congruence (a, b, c, d) | |

(Congruence a, Congruence b, Congruence c, Congruence d, Congruence e) => Congruence (a, b, c, d, e) | |

(Congruence a, Congruence b, Congruence c, Congruence d, Congruence e, Congruence f) => Congruence (a, b, c, d, e, f) | |

(Congruence a, Congruence b, Congruence c, Congruence d, Congruence e, Congruence f, Congruence g) => Congruence (a, b, c, d, e, f, g) | |

(Congruence a, Congruence b, Congruence c, Congruence d, Congruence e, Congruence f, Congruence g, Congruence h) => Congruence (a, b, c, d, e, f, g, h) | |

(Congruence a, Congruence b, Congruence c, Congruence d, Congruence e, Congruence f, Congruence g, Congruence h, Congruence i) => Congruence (a, b, c, d, e, f, g, h, i) | |

(Congruence a, Congruence b, Congruence c, Congruence d, Congruence e, Congruence f, Congruence g, Congruence h, Congruence i, Congruence j) => Congruence (a, b, c, d, e, f, g, h, i, j) | |

(Congruence a, Congruence b, Congruence c, Congruence d, Congruence e, Congruence f, Congruence g, Congruence h, Congruence i, Congruence j, Congruence k) => Congruence (a, b, c, d, e, f, g, h, i, j, k) | |

(Congruence a, Congruence b, Congruence c, Congruence d, Congruence e, Congruence f, Congruence g, Congruence h, Congruence i, Congruence j, Congruence k, Congruence l) => Congruence (a, b, c, d, e, f, g, h, i, j, k, l) | |

(Congruence a, Congruence b, Congruence c, Congruence d, Congruence e, Congruence f, Congruence g, Congruence h, Congruence i, Congruence j, Congruence k, Congruence l, Congruence m) => Congruence (a, b, c, d, e, f, g, h, i, j, k, l, m) | |

(Congruence a, Congruence b, Congruence c, Congruence d, Congruence e, Congruence f, Congruence g, Congruence h, Congruence i, Congruence j, Congruence k, Congruence l, Congruence m, Congruence n) => Congruence (a, b, c, d, e, f, g, h, i, j, k, l, m, n) | |

(Congruence a, Congruence b, Congruence c, Congruence d, Congruence e, Congruence f, Congruence g, Congruence h, Congruence i, Congruence j, Congruence k, Congruence l, Congruence m, Congruence n, Congruence o) => Congruence (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) | |