A generic theory of datatypes door P.F. Hoogendijk