?? "mr a-or-b" vs "mr if-such-and-such-then-a-else-b" .... ??? .... ??? vs "mr if-such-and-such-then-a-or-b-else-c-or-d" ..... ????? .....

?? exponentiation of structure types .... ???? ..... ???? ......

?? plain disjunction vs case-breakdown .... ???? .... possibility of latter dealing with higher tuples better ??? ... ??? ..... correlation between case-breakdowns ... ?? arbib-manes ... monad m ... "m-fuzzy elt of s" .... ?? case m(s) = probability measures(s) (?? or maybe possibility measures is more relevant here ... ?? ...) vs case m(s) = s^k ..... ????? .... ????? ...... ??? "sections of trivial bundle over k" ... ??? ..... monad from adjunction ...