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