4 Aug
2010
4 Aug
'10
2:47 p.m.
On 04/08/10 18:42, Edward Z. Yang wrote:
ListT IO a = IO [a], so you're looking for a function [IO a] -> IO [a]. This function is called sequence :: Monad m => [m a] -> m [a]
Aha, yep, that's exactly what I was after! Thanks very much...
My best advice for you is to get rid of the newtype wrapping and unwrapping when you're trying to an understand a monad transformer.
Aah I see - that makes sense, Will try and have another crack at them shortly. Cheers, Tim