deepcontrol-0.5.4.1: A library that provides deep-level programming style or notation on Applicative and Monad