@hongminhee洪 民憙 (Hong Minhee) this feels very much like moving from an applicative parser to a monadic one
@jnkrtech That's a fair characterization. The factory function in derive() is essentially a monadic bind—it takes the parsed dependency value and returns a new parser. We tried to keep the API feeling applicative on the surface (you still compose parsers declaratively), but the underlying mechanism is indeed monadic when dependencies are involved.
If you have a fediverse account, you can quote this note from your own instance. Search https://hackers.pub/ap/notes/019bb5bf-d708-71ce-a941-89613157855d on your instance and quote it. (Note that quoting is not supported in Mastodon.)