prelim: fiddling with coproducts
prelim: fiddling with bool