Does arrow have anything that converts

() -> Unit

into

(T) -> Unit

where

T

is just ignored