Python has an "Optional" type, but it's merely an alias for T | None. I wish Python had better support for FP, but each time it gets close, it doesn't quite go far enough.

For example, it now has match blocks, but there's no error if the match is exhaustive, which hurts formal proofs of correctness. Likewise, tons of other features fall a bit short, but in general it's workable with some discipline.