Kleisli, a functional query system. The Kleisli Query System is a system designed for the broad-scale integration problems that have the following characteristics: Require access of data sources that are highly heterogeneous, geographically scattered, highly complex, constantly evolving, high in volume. Require solutions that involve multiple carefully sequenced steps. Require information to be passed smoothly between the steps. Require some computations