Issues in the blog

First, thank you very much for the high quality blog: https://paullouth.com/ After learning Haskell for a while and not managing to ascend much past monads, I'm hopeful I'll be able to using your blog and powerful & familiar C# abstractions. Definitely a big step up in v5, I hope it'll get merged.

Sorry if this is not the right place to post these, but I thought these could be helpful

• Higher Kinds in C# with language-ext [Part 5 - validation] Just after you wrote:

I won't test this, because it's obvious it will work!

static Validation<Error, int> ValidateInt(string value) =>
    ValidateAllDigits(value).Map(_ => int.Parse(value));

This function throws an Exception when given an empty string. (this being a bug is debatable I guess - but quite ironic nonetheless)

• Higher Kinds in C# with language-ext [Part 10- ReaderT monad transformer]:

ReaderM<*,*> should be Readable<*,*> I believe