On a typed higher order functional calculus | lit.salon