A monadic pipeline is a way to navigate computations in monad's function space. The unit function and the setter functions "uplift" data into monad's space. The taker functions "download" data from monad's space. The central -- and most computationally intensive -- functions are the classifier training and measurement functions. Variety of use cases are addressed with the rest of the functions. Diagnosis with Receiver Operating Characteristic (ROC) functions are extensively supported.