scala.Option のモナドトランスフォーマーです。 関連するものとして、scalaz.MaybeT, scalaz.LazyOptionT というものもあります。
scala.Option
scalaz.MaybeT
scalaz.LazyOptionT
実装としては、単に以下のようなrunというフィールドを1つだけ保持したcase classです。
run
final case class OptionT[F[_], A](run: F[Option[A]])