Comment by BerislavLopac

I believe the recent idiomatic recommendation for the first two is to use the union type expression:

  1. T | None
  2. SuccessT | FailureT