I thought domain modelling through types is considered standard in functional programming?

(see for example Scott Wlaschin)