I’m not sure that discussion of monads is super helpful. It’s not neccessarily wrong, but it doesn’t get to the meat of the matter. Monads doesn’t represent un

I’m not sure that discussion of monads is super helpful. It’s not neccessarily wrong, but it doesn’t get to the meat of the matter. Monads doesn’t represent uncomputable values like sqrt(-1), it’s more like they represent a context, where computations take place. So you can separate all computations involving IO into the parameterized function type ’Monad a’, where a is your result type