then there are monads inside which the mentioned s...
# arrow
n
then there are monads inside which the mentioned structures are assembled