Add MonadTrans instance
Add MonadIO instance
Update README