The absence of nullable references is completely orthogonal to pure FP and static typing.