Fix #675 function types are contravariant in parameter types!