and then all of this is wrapped inside the main ap...
# arrow
n
and then all of this is wrapped inside the main app cycle monad