Only if you think algebraic types have nothing to do with FP, in which case you have a very idiosyncratic definition of FP.