let
church2 =
App
(
App
(church1, coin 0.5),
Const
2)