Docs/cleanups/inlining
MonadBase instance
Adjust relationship between `SetMember` and `Member`