Algorithm Design with the Selection Monad2022-01-010 PRE AI DOI:10.1007/978-3-031-21314-4_7OriginalOriginal request for helpShareSaveAbstract En