add @TiarkRompf church-encoding nats. without exposing test though.