A mirror of automatic church encodings