Calculate polytypically

Abstract. A polytypic function definition is a function definition that is parametrised with a datatype. It embraces a class of algorithms. As an example we define a simple polytypic “crush ” combinator that can be used to calculate polytypically. The ability to define functions polytypi-cally adds another level of flexibility in the reusability of programming idioms and in the design of libraries of interoperable components.