Several failure cases for comp for polyadic fns and type variables

Description

Description

comp doesn't work for several common uses

Literal sets can't be used, neither can the well-known identity function

This seems to be a general problem with polyadic Fns

Environment

None

Assignee

Ambrose Bonnaire-Sergeant

Reporter

Herwig Hochleitner

Labels

None

Approval

None

Patch

None

Components

Fix versions

Priority

Minor
Configure