alleycats - no default instance for Empty[Option[T]]

There is no default instance for Empty[Option[T]] if T has no Monoid. But there is one for collections.
Would it make sense to add an Empty[Option[T]] instance that behaves like the collection default ones?

  import alleycats.Empty
  import cats.implicits._
  import java.time.LocalDateTime

  implicit val dtEmtpy = Empty(new LocalDateTime(0))

  // works fine
  Empty[List[LocalDateTime]]
  Empty[Set[LocalDateTime]]
  Empty[Stream[LocalDateTime]]

  // doesn't work by default
  Empty[Option[LocalDateTime]]

EDIT: rewrite the example with a type that has no Monoid.

Start by locating the existing alleycats.Empty instances for collections and the current handling of Option. Check how the instance should behave when the contained type has no Monoid, then add focused coverage showing the intended Empty[Option[T]] behavior for such a type.