[m-users.] Cannot execute a predicate from a Discriminated Union

Tomas By tomas at basun.net
Sun Jun 28 11:28:13 AEST 2015

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.


More information about the users mailing list