Similar to Option[F[A, B]], but the empty case witnesses type equality between A and B.
Option[F[A, B]]
A
B