Improve error for applying vals of Procedure type