Index - J
| Join | Predicate.Prelude, Predicate |
| Just' | Predicate.Prelude, Predicate |
| JustDef | Predicate.Prelude, Predicate |
| JustDef' | Predicate.Prelude, Predicate |
| JustDef'' | Predicate.Prelude, Predicate |
| JustDef''' | Predicate.Prelude, Predicate |
| JustFail | Predicate.Prelude, Predicate |
| JustP | Predicate.Prelude, Predicate |