Index
| Impossible | Data.Constraint.Trivial |
| Impossible2 | Data.Constraint.Trivial |
| Impossible3 | Data.Constraint.Trivial |
| Impossible4 | Data.Constraint.Trivial |
| Impossible5 | Data.Constraint.Trivial |
| Impossible6 | Data.Constraint.Trivial |
| Impossible7 | Data.Constraint.Trivial |
| Impossible8 | Data.Constraint.Trivial |
| Impossible9 | Data.Constraint.Trivial |
| Unconstrained | Data.Constraint.Trivial |
| Unconstrained2 | Data.Constraint.Trivial |
| Unconstrained3 | Data.Constraint.Trivial |
| Unconstrained4 | Data.Constraint.Trivial |
| Unconstrained5 | Data.Constraint.Trivial |
| Unconstrained6 | Data.Constraint.Trivial |
| Unconstrained7 | Data.Constraint.Trivial |
| Unconstrained8 | Data.Constraint.Trivial |
| Unconstrained9 | Data.Constraint.Trivial |