simpleJoin is the same as mempty, with a more specific type. It
is provided for convenience in situations where explicit type
signatures would otherwise be needed, such as when building up a
join using lenses.