Re: [Haskell-cafe] Munich Haskell Meeting, 2023-10-31 @ 19:30