Proved that Source upholds the MonadTrans laws