[ljm]

Worth noting that some articles may also feel inaccessible because so many examples are written in terms of formulae.

There's plenty of Haskell out there that is easier to pick up on without looking at what seems to be a jumble of letters that imparts deep meaning.

    frobnicateM :: M a b => b -> a -> f (b a) a

You might get to that stage at some point but books like writing a scheme in 48 hours will show you a much more accessible and elegant side.

[chowells]

That jumble of letters does impart deep meaning. In this case it tells me very precisely that you banged on your keyboard at random, because that's got an infinite kind error in it.

Documentation is powerful stuff, especially when it's machine-checked the way Haskell type signatures are.