Talking about monads, I found Railway Oriented Programming [1] and "Understanding map and apply" [2] (and the whole serie) really interesting. I liked the notio

Talking about monads, I found Railway Oriented Programming [1] and "Understanding map and apply" [2] (and the whole serie) really interesting. I liked the notion of lifting types to an "elevated world". [1] https://fsharpforfunandprofit.com/rop/ https://fsharpforfunandprofit.com/rop/ [2] https://fsharpforfunandprofit.com/posts/elevated-world/ https://fsharpforfunandprofit.com/posts/elevated-world/