Хорошо, может быть, название немного сбивает с толку, но я пытаюсь создать такую функцию: f (a: b: c: d: is ) = ...
, но иметь возможность ссылаться на a: b: c: d
без повторной записи. Как оказалось, я не могу сделать что-то вроде e @ (a: b: c: d): is
и получить ожидаемый результат. Есть идеи?