A monadic design pattern that can be used to construct data processing pipeline. It also provides several monads implemented using Apache Spark.