Datatypes are like analytic functions with Taylor series and all.