lecture: think about IO Arrow and IO Monad
lecture: about arrow