A library for Haskell to use Monads which is newly constructed with Layered Appicative Functor.