add Applicative transformer, and simple arrow example