Added Typing Monad and instantiate