I have a function a->b that needs to be passed to the signature (c->a->b) . I don't care that c just ignores it. Is there a standard function that adds useless parameters: (a->b) -> (c->a->b) ?
a->b
(c->a->b)
c
(a->b) -> (c->a->b)
It is called const :
const
> let foo = const :: (a -> b) -> (c -> a -> b)