Fixtype of function types.
This is a product type introduced by fty::defprod.
Given that for now we do not model any types, the notion of ``type'' of a function boils down to its number of inputs and number of outputs.