adds `of arrows and state monads` post.