Haha you're putting me on the spot here, I guess I haven't really thought too deeply about the specifics!

Maybe flatMap would return true only if all chained booleans are true?

Bimap would allow you to provide functions for what to do in true and false case?

Fold would allow you to turn true or false into a single type?

I'm sure someone more experienced in FP can weigh in with something more correct! :p