let
church1 =
Flip
(0.3, tt, ff)