Add mtl
Add some tryout on reader monad