Parallel and distributed programming for Lean using composable monadic programs