<@U0H86UR45>: Functional types are covariant on re...
# announcements
i
@avb1989: Functional types are covariant on return type and contravariant on parameter types.