On Sun, June 28, 2015 03:19, Charles Shuller wrote: > So is it not possible to assign the inst > of the pred on a type to a type? Well, type and inst are different things. In a higher-order declaration there is a pred type and a pred inst. /Tomas