Const
Map over the argument of a unary function converting a function of type (a: A) ⇒ E to (b: B) ⇒ E.
(a: A) ⇒ E
(b: B) ⇒ E
Map over the argument of a unary function converting a function of type
(a: A) ⇒ Eto(b: B) ⇒ E.