let
coin p =
Flip
(p,
Const
1,
Const
0)