Index - |

\|+	Predicate.Data.Tuple, Predicate.Prelude, Predicate
\|>	Predicate.Data.Lifted, Predicate.Prelude, Predicate
\|\|	Predicate.Core, Predicate.Prelude, Predicate
\|\|\|	Predicate.Data.Either, Predicate.Prelude, Predicate
\|\|~	Predicate.Core, Predicate.Prelude, Predicate