let
case2 =
App
(_not, coin 0.3)