Thank you for pointing that out.
do is using Monad. Does c <- “ab c” also mean a Monad is being used?
do
Monad
c <- “ab c”