Questions for church-encoding