[m-users.] Store type difficulties

[Tomas By]

On Sat, 04 Jul 2020 08:10:33 +0200, Zoltan Somogyi wrote:
> Peter knows that perfectly well. What he was drawing attention to
> was the fact that predicates such as list.foldl6, while they have many
> modes, those modes tend *not* to include modes that allow
> more than one pair of arguments to be di/uo.


Yes, I realised that almost while clicking send. I was think values
generally.

But still doesn't sound like a huge problem.

/Tomas