A Haskell package to show new caliculation and new concept such as deeper Applicative, deeper Monad, deeper Kleisli Arrow ,etc.