That exact syntax works for pretty much any Monad. You need the category theory to avoid reinventing the wheel every time.