small changes
Reader and Writer instances for Marked. hoistMonadTrans