- tri=? maybe1 maybe2 ...procedure
Similar to boolean=?, returning Just #t if all the maybes are true or if all are false. Otherwise, if any maybe is Nothing or any two maybes have different (trivalent) truth values, returns Just #f.
Note: this function is not transitive and therefore is not an equivalence relation.