Make Unions of function typechecking work again.