first in a series of lectures on monadic design patterns for the web