Gravar-mail: Functional programming for explainable AI