4 ms·Function types are contravariant in their inputs. It's the prototypical case, really.by consilient 3y agoFunction types are contravariant in their inputs. It's the prototypical case, really.