Monad notation and fairly well working pipes