monkeys
church-encode One type
monkeys
try commit3
twiddle
simplify
snapshot and fast committed choice
old unsuccessful experiments