For operators we have the following shorthand:op :: a -> b -> c(`op` y) === \x -> x `op` y(x `op`) === \y -> x `op` yIt would be nice to have a similar facility forfunctions, e.g.:f :: a -> b -> c -> d -> ef _ y _ t === \x z -> f x y z tf x _ z _ === \y t -> f x y z tf x _ z === \y -> f x y z === \y t -> f x y z tBecause "_" is currently not allowed as an identifierin contexts where this facility could possibly be ineffect, it seems safe to use it to indicate omittedparameters in function application.