How to flatten IO (IO ())? Languages

How to flatten IO (IO ())?

I'm just learning Haskell and monad transformers and I've found myself with an IO (IO ()) that I'd like to flatten into just IO (). I'm sure that I'm doing something wrong, but can't pinpoint exactly where I'm getting lost.
Read More
`(a -> b) -> (c -> d)` in Haskell? Languages

`(a -> b) -> (c -> d)` in Haskell?

This is yet another Haskell-through-category-theory question.Let's take something simple and well-known as an example. fmap? So fmap :: (a -> b) -> f a -> f b, omitting the fact that f is actually a Functor. As far as I understand, (a -> b) -> f a -> f b...
Read More