Karl Meinke Universal Algebra in Higher Types. 185-203 1990 conf/adt/1990 ADT db/conf/adt/adt1990.html#Meinke90