Theodora questions

• What kind of knowledge or training is necessary for someone to write down the definition of foldlM like this? [closed]
• What does left arrow <- mean outside a do block?

Theodora answers