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