|
|
|
|
|
|
by chopin
3036 days ago
|
|
|
For the list example: I don't get why that loops over the content of the list (I don't understand this in the OP either). Wouldn't it need to be: getMoreData :: [Data1] -> [Data2]
at least? As I understand the OP, wouldn't the function signature for the non-monadic example be: getMoreData :: Data1 -> [Data2]
and the function body fundamentally different for that reason? |
|
|