builtup4/std/church_numerals/01.bu4

{ (f)(x)         [x]                            | c0        }
{ (f)(x)         /[x][f]                        | c1        }