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

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?