special.collection
NOTE: Option is a special case of Either, such that Option[T] is isomorphic to Either[Unit, T]. Keeping this in mind, we however define constructions for Option separately.
NOTE: Option is a special case of Either, such that Option[T] is isomorphic to Either[Unit, T]. Keeping this in mind, we however define constructions for Option separately.