My point isn't a formal one but rather an observation about software design trends.
More imporantly though, what FP does in both its dynamically and statically typed incarnations is to prefer (and sometimes enforce) immutability.
Immutable objects support a much more type centered view of the world. Theoretically, you could have something like a VehicleAtFullSpeed type (dynamic or static) because the speed attribute of an individual object never changes.
FP does not imply static types. See Lisp and its dialects. Don't confuse the Haskell way of doing things with FP in general.